jolheiser/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
12,138 Commits 266 Branches 122 Tags 5.3 GiB
a09b681e3e
Commit Graph

11919 Commits

Author SHA1 Message Date
Yury G. Kudryashov
1361a85331 Add kde-l10n-4.5.1 
svn path=/nixpkgs/trunk/; revision=24023
 2010-10-02 05:24:06 +00:00
Peter Simons
fb4249da1a pkgs/misc/emulators/wine: add support for gecko HTML rendering engine 
svn path=/nixpkgs/trunk/; revision=24021
 2010-10-01 13:45:19 +00:00
Peter Simons
30eddde3f5 pkgs/misc/emulators/wine: added support for gnutls 
svn path=/nixpkgs/trunk/; revision=24020
 2010-10-01 13:45:12 +00:00
Peter Simons
0a0fe89bf7 pkgs/misc/emulators/wine: strip trailing whitespace 
svn path=/nixpkgs/trunk/; revision=24019
 2010-10-01 13:45:02 +00:00
Michael Raskin
2fed251436 Update vim_configurable to 7.3 
svn path=/nixpkgs/trunk/; revision=24014
 2010-10-01 05:01:32 +00:00
Russell O'Connor
f947527f18 removing tsocks as it has been replaced by torsocks. 
svn path=/nixpkgs/trunk/; revision=24013
 2010-10-01 04:00:45 +00:00
Russell O'Connor
90aa3c3c3c New derivation for torsocks. 
This will replace tsocks.


svn path=/nixpkgs/trunk/; revision=24011
 2010-10-01 02:38:03 +00:00
Russell O'Connor
41f2c2ed1f use sourceforge mirror for openjade. 
svn path=/nixpkgs/trunk/; revision=24010
 2010-10-01 02:29:45 +00:00
Lluís Batlle i Rossell
1019692db7 Adding the game engine 'instead' and some games. 
svn path=/nixpkgs/trunk/; revision=24009
 2010-09-30 18:58:48 +00:00
Armijn Hemel
8db80a9616 update to 7.3 
svn path=/nixpkgs/trunk/; revision=24008
 2010-09-30 17:00:13 +00:00
Michael Raskin
cffebf17a2 Add Git version of mdbtools - UCS-2 capable 
svn path=/nixpkgs/trunk/; revision=24007
 2010-09-30 16:50:37 +00:00
Michael Raskin
c7ca6b46b2 Update Veracity 
svn path=/nixpkgs/trunk/; revision=24006
 2010-09-30 16:41:45 +00:00
Eelco Dolstra
2368ca287c * Linux 2.6.32.23. 
svn path=/nixpkgs/trunk/; revision=23997
 2010-09-30 13:53:13 +00:00
Peter Simons
4bdf53b0f1 pkgs/applications/version-management/git-and-tools: updated topgit to version 0.8-19-g9404aa1 
svn path=/nixpkgs/trunk/; revision=23996
 2010-09-30 13:27:24 +00:00
Peter Simons
ff1a93282f pkgs/applications/version-management/git-and-tools/git: updated to version 1.7.3.1 
svn path=/nixpkgs/trunk/; revision=23995
 2010-09-30 13:27:17 +00:00
Eelco Dolstra
3cae924440 * Updated WebDSL. 
* Made Stratego/XT 0.18 the default.

svn path=/nixpkgs/trunk/; revision=23994
 2010-09-30 10:49:02 +00:00
Evgeny Egorochkin
3cc7d2ed7c Wine-Warcraft: finally it works 
svn path=/nixpkgs/trunk/; revision=23993
 2010-09-30 09:01:04 +00:00
Andres Löh
9d5f981913 Updated the Idris compiler. 
svn path=/nixpkgs/trunk/; revision=23991
 2010-09-29 19:24:29 +00:00
Lluís Batlle i Rossell
7eb92a7821 Adding kadu 
(patch by Piotr Pietraszkiewicz)

svn path=/nixpkgs/trunk/; revision=23988
 2010-09-28 22:37:44 +00:00
Lluís Batlle i Rossell
cecffb9df5 Adding crack-attack 
(patch sent by Piotr Pietraszkiewicz)

svn path=/nixpkgs/trunk/; revision=23987
 2010-09-28 22:37:27 +00:00
Armijn Hemel
fea2d56f09 update to 4.1, lzma support not yet added 
svn path=/nixpkgs/trunk/; revision=23986
 2010-09-28 16:40:34 +00:00
Andres Löh
f6e3110b74 Preliminarily added ghc-7.0.1-rc1 and current HEAD. 
svn path=/nixpkgs/trunk/; revision=23985
 2010-09-28 13:48:22 +00:00
Evgeny Egorochkin
a774549139 uni2ascii: packaged 
Patch by Cillian de Róiste

svn path=/nixpkgs/trunk/; revision=23984
 2010-09-28 09:48:15 +00:00
Evgeny Egorochkin
a2909b0386 MySql-Workbench: packaged 
Patch by Karn Kallio

svn path=/nixpkgs/trunk/; revision=23983
 2010-09-28 09:33:56 +00:00
Evgeny Egorochkin
1ba4551be7 Added Karn Kallio to maintainer list 
svn path=/nixpkgs/trunk/; revision=23982
 2010-09-28 09:33:49 +00:00
Evgeny Egorochkin
352b0de4a6 libctemplate: packaged. 
Patch by Karn Kallio.

svn path=/nixpkgs/trunk/; revision=23981
 2010-09-28 09:33:42 +00:00
Evgeny Egorochkin
f3ad9868b4 Paramiko: packaged. 
Patch by Karn Kallio

svn path=/nixpkgs/trunk/; revision=23980
 2010-09-28 09:33:35 +00:00
Evgeny Egorochkin
e143b506e9 Taglib: packaged a pre-1.7 snapshot 
svn path=/nixpkgs/trunk/; revision=23979
 2010-09-28 09:33:28 +00:00
Yury G. Kudryashov
b2c54656ee homepage 
svn path=/nixpkgs/trunk/; revision=23978
 2010-09-28 05:39:39 +00:00
Michael Raskin
d63a20e353 Update veracity 
svn path=/nixpkgs/trunk/; revision=23977
 2010-09-28 04:27:01 +00:00
Lluís Batlle i Rossell
87aed78cc0 Updating to linux 2.6.35.6 
svn path=/nixpkgs/trunk/; revision=23976
 2010-09-27 21:22:55 +00:00
Lluís Batlle i Rossell
257f7bbb9a Updating the src url of offlineimap (to the only version there available) 
svn path=/nixpkgs/trunk/; revision=23975
 2010-09-27 21:01:16 +00:00
David Guibert
30765e4be9 update kernels 
svn path=/nixpkgs/trunk/; revision=23974
 2010-09-27 20:05:42 +00:00
Yury G. Kudryashov
76b211a81f More homepages 
svn path=/nixpkgs/trunk/; revision=23973
 2010-09-27 18:41:59 +00:00
Yury G. Kudryashov
c0a1d527d7 gnuplot-4.4.2, metadata 
svn path=/nixpkgs/trunk/; revision=23972
 2010-09-27 18:15:49 +00:00
Yury G. Kudryashov
08be43d6f0 homepages 
svn path=/nixpkgs/trunk/; revision=23971
 2010-09-27 18:15:33 +00:00
Yury G. Kudryashov
5d6dd8a956 Propagate some build inputs. Should fix amarok build 
svn path=/nixpkgs/trunk/; revision=23969
 2010-09-27 16:22:40 +00:00
Peter Simons
e5a71f8151 pkgs/misc/ghostscript: disable parallel building 
Parallel builds occasionally fail on (at least) Linux/x86_64.

svn path=/nixpkgs/trunk/; revision=23968
 2010-09-27 15:59:12 +00:00
Peter Simons
f492f1a989 pkgs/development/tools/misc/gdb: add support for scripting in Python 
svn path=/nixpkgs/trunk/; revision=23966
 2010-09-27 13:31:46 +00:00
Yury G. Kudryashov
3a9ff9d607 Add pkgconfig to amarok buildInputs 
svn path=/nixpkgs/trunk/; revision=23965
 2010-09-27 11:19:42 +00:00
Yury G. Kudryashov
fb6efd252a cabextract: upgrade, metadata 
svn path=/nixpkgs/trunk/; revision=23964
 2010-09-27 11:19:36 +00:00
Yury G. Kudryashov
732997b02e Metadata 
svn path=/nixpkgs/trunk/; revision=23963
 2010-09-27 11:19:31 +00:00
Yury G. Kudryashov
4ce3b0f176 clutter: 1.4.0, homepage, now depends on json-glib 
svn path=/nixpkgs/trunk/; revision=23962
 2010-09-27 11:19:23 +00:00
Yury G. Kudryashov
5017cdb706 Add json-glib 
svn path=/nixpkgs/trunk/; revision=23961
 2010-09-27 11:18:28 +00:00
Yury G. Kudryashov
5f38d49440 typo 
svn path=/nixpkgs/trunk/; revision=23959
 2010-09-27 08:16:25 +00:00
Yury G. Kudryashov
f64ba49369 metadata 
svn path=/nixpkgs/trunk/; revision=23958
 2010-09-26 19:40:41 +00:00
Yury G. Kudryashov
c30b4494fa Upgrade icu4c 
svn path=/nixpkgs/trunk/; revision=23957
 2010-09-26 19:40:36 +00:00
Yury G. Kudryashov
b9fb4fee61 Move amarok from kde4. to applications/audio 
svn path=/nixpkgs/trunk/; revision=23956
 2010-09-26 19:40:30 +00:00
Yury G. Kudryashov
086945942d Add mutagen, upgrade libgpod 
svn path=/nixpkgs/trunk/; revision=23955
 2010-09-26 19:40:22 +00:00
Yury G. Kudryashov
842e80dd60 Add two lastfm libraries 
svn path=/nixpkgs/trunk/; revision=23954
 2010-09-26 19:40:15 +00:00
Yury G. Kudryashov
f81af3dce0 Add libimobiledevice 
svn path=/nixpkgs/trunk/; revision=23953
 2010-09-26 19:40:07 +00:00
Yury G. Kudryashov
5213f959ad dcraw-9.04 
svn path=/nixpkgs/trunk/; revision=23952
 2010-09-26 19:40:00 +00:00
Yury G. Kudryashov
add0722b6d platforms, maintainer 
svn path=/nixpkgs/trunk/; revision=23951
 2010-09-26 19:39:55 +00:00
Yury G. Kudryashov
046d88944f homepage 
svn path=/nixpkgs/trunk/; revision=23950
 2010-09-26 19:39:49 +00:00
Yury G. Kudryashov
cb623539b0 Add sg3_utils 
svn path=/nixpkgs/trunk/; revision=23949
 2010-09-26 19:39:42 +00:00
Yury G. Kudryashov
74abd6e9ad Add usbmuxd 
svn path=/nixpkgs/trunk/; revision=23948
 2010-09-26 19:39:35 +00:00
Yury G. Kudryashov
1eda454543 Add libmtp 
svn path=/nixpkgs/trunk/; revision=23947
 2010-09-26 19:39:28 +00:00
Yury G. Kudryashov
1f20ccb9e6 Add libplist 
svn path=/nixpkgs/trunk/; revision=23946
 2010-09-26 19:39:21 +00:00
Yury G. Kudryashov
e04cdd1204 Add libusb-1.x 
svn path=/nixpkgs/trunk/; revision=23945
 2010-09-26 19:39:02 +00:00
Evgeny Egorochkin
c7126b63af Amarok: make scripts work, prettify the builder 
svn path=/nixpkgs/trunk/; revision=23936
 2010-09-26 06:59:13 +00:00
Evgeny Egorochkin
8a68518454 Samba: option to compile winbind which is used by some apps under Wine 
svn path=/nixpkgs/trunk/; revision=23935
 2010-09-26 05:07:41 +00:00
Evgeny Egorochkin
e41a0ef012 Flash player: part 2 
svn path=/nixpkgs/trunk/; revision=23934
 2010-09-26 05:05:24 +00:00
Evgeny Egorochkin
e91ff5eabd Wine with patches for Warcraft 3 
svn path=/nixpkgs/trunk/; revision=23933
 2010-09-26 05:05:18 +00:00
Evgeny Egorochkin
0488c4516a Flash player: works in Konqueror now, fixed missing library link. 
Fixed hash: Stupid Adobe changed the file again :(

svn path=/nixpkgs/trunk/; revision=23931
 2010-09-26 03:22:55 +00:00
Evgeny Egorochkin
80aed14c87 KDE: PIM: make it actually work if you install it, without having to hunt for missing dependencies 
svn path=/nixpkgs/trunk/; revision=23903
 2010-09-22 22:55:42 +00:00
Michael Raskin
716fa88212 Update WebKit. Test compile successful 
svn path=/nixpkgs/trunk/; revision=23902
 2010-09-22 18:31:01 +00:00
Michael Raskin
3daed8602e Add -fPIC to EQL CFLAGS as recommended by ld on amd64 
svn path=/nixpkgs/trunk/; revision=23901
 2010-09-22 18:25:39 +00:00
Yury G. Kudryashov
58c09d0ff2 Move koffice to applications/office 
svn path=/nixpkgs/trunk/; revision=23900
 2010-09-22 18:04:55 +00:00
Yury G. Kudryashov
3b693da649 Let hydra build openjpeg 
svn path=/nixpkgs/trunk/; revision=23899
 2010-09-22 18:04:47 +00:00
Yury G. Kudryashov
8e8662d828 Add libwpg 
svn path=/nixpkgs/trunk/; revision=23898
 2010-09-22 18:04:41 +00:00
Yury G. Kudryashov
ca7165a043 Add xbase 
svn path=/nixpkgs/trunk/; revision=23897
 2010-09-22 18:04:34 +00:00
Yury G. Kudryashov
f726884df5 Old flashplayer is not available anymore 
svn path=/nixpkgs/trunk/; revision=23896
 2010-09-22 18:04:29 +00:00
Yury G. Kudryashov
57a42bd5ba Use kdepim{,-runtime}-4.4.x in 4.5 till kdepim-4.5 will become stable 
svn path=/nixpkgs/trunk/; revision=23895
 2010-09-22 18:04:21 +00:00
Marco Maggesi
209c32c4c9 Update fossil 
svn path=/nixpkgs/trunk/; revision=23894
 2010-09-22 13:10:43 +00:00
Michael Raskin
0c2f93999f Update EQL 
svn path=/nixpkgs/trunk/; revision=23893
 2010-09-22 09:52:53 +00:00
Michael Raskin
3410afb706 Fix arora platform 
svn path=/nixpkgs/trunk/; revision=23892
 2010-09-22 08:59:50 +00:00
Evgeny Egorochkin
cbda1c23bb KDE: Konq-plugins: packaged 
svn path=/nixpkgs/trunk/; revision=23891
 2010-09-22 07:53:28 +00:00
Evgeny Egorochkin
84a1800124 TSocks library: packaged 
svn path=/nixpkgs/trunk/; revision=23890
 2010-09-22 06:23:15 +00:00
Evgeny Egorochkin
7a607648dc KBluetooth: packaged 
svn path=/nixpkgs/trunk/; revision=23889
 2010-09-22 00:41:31 +00:00
Evgeny Egorochkin
748fa38a35 KDE: Solid: compile in bluetooth support 
svn path=/nixpkgs/trunk/; revision=23888
 2010-09-22 00:39:38 +00:00
Michael Raskin
93e22996b1 Update Wine 
svn path=/nixpkgs/trunk/; revision=23887
 2010-09-21 21:43:32 +00:00
Michael Raskin
d43b8b4e4b Update SBCL 
svn path=/nixpkgs/trunk/; revision=23886
 2010-09-21 20:27:46 +00:00
Michael Raskin
9effe4ad77 Update Veracity nightly 
svn path=/nixpkgs/trunk/; revision=23885
 2010-09-21 20:25:59 +00:00
Evgeny Egorochkin
5581a546ec Arora: fix homepage 
svn path=/nixpkgs/trunk/; revision=23884
 2010-09-21 15:47:20 +00:00
Michael Raskin
f82a0576ea Add ttf2pt1-cl-pdf which produces unicode maps for fonts 
svn path=/nixpkgs/trunk/; revision=23883
 2010-09-21 14:35:07 +00:00
Ludovic Courtès
5395710d3e Lout: Update the homepage. 
svn path=/nixpkgs/trunk/; revision=23882
 2010-09-21 12:50:39 +00:00
Ludovic Courtès
332eca4ad9 Add Nix expression for Racket. 
Patch by Karn Kallio <tierpluspluslists@gmail.com>.

svn path=/nixpkgs/trunk/; revision=23881
 2010-09-21 12:31:11 +00:00
Ludovic Courtès
c47b09ee6e Lout 3.39. 
svn path=/nixpkgs/trunk/; revision=23880
 2010-09-21 12:31:06 +00:00
Evgeny Egorochkin
3a6c172b77 HPLiP: Fix compilation. Had to move the comment out of configure flags. Very sneaky! 
Make hydra compile it.

svn path=/nixpkgs/trunk/; revision=23878
 2010-09-21 01:24:00 +00:00
Evgeny Egorochkin
020cba6b98 Arora: packaged 
svn path=/nixpkgs/trunk/; revision=23877
 2010-09-20 22:16:16 +00:00
Ludovic Courtès
3fe217a525 GNU Freefont 20100919. 
svn path=/nixpkgs/trunk/; revision=23875
 2010-09-20 20:46:32 +00:00
Ludovic Courtès
7541a88120 GNU Ghostscript 8.71.1. 
svn path=/nixpkgs/trunk/; revision=23874
 2010-09-20 20:46:27 +00:00
Yury G. Kudryashov
daa59407c7 Oops.. Wrong name 
svn path=/nixpkgs/trunk/; revision=23873
 2010-09-20 14:17:54 +00:00
Evgeny Egorochkin
9c30b6d8cc Quassel: quick client fix 
svn path=/nixpkgs/trunk/; revision=23871
 2010-09-20 11:03:59 +00:00
Michael Raskin
b383ca8d2a Add Vacuum IM 
svn path=/nixpkgs/trunk/; revision=23870
 2010-09-20 08:40:30 +00:00
Michael Raskin
c77f29daed Allow building EQL applications 
svn path=/nixpkgs/trunk/; revision=23869
 2010-09-20 08:10:12 +00:00
Michael Raskin
5e32f98f5c Recursive sourceInfo is more convenient 
svn path=/nixpkgs/trunk/; revision=23868
 2010-09-20 07:48:17 +00:00
Michael Raskin
e8cca19dc7 Update CouchDB. Thanks to Cillian de Róiste for sending a patch.. 
svn path=/nixpkgs/trunk/; revision=23866
 2010-09-19 21:50:38 +00:00
Michael Raskin
7538dcd322 Assert the need for glibc 
svn path=/nixpkgs/trunk/; revision=23864
 2010-09-19 18:32:25 +00:00
Michael Raskin
7d91a87817 Remove the temporary patch reference 
svn path=/nixpkgs/trunk/; revision=23863
 2010-09-19 18:22:52 +00:00
Lluís Batlle i Rossell
c00b676654 Making the default vim have multibyte+nls support. Checking with 'du', I think 
the results take almost the same amount of bytes, while we get support for utf8 terminals.

svn path=/nixpkgs/trunk/; revision=23859
 2010-09-18 16:29:47 +00:00
Lluís Batlle i Rossell
812420fab6 Adding lxdvdrip (it builds, but I still don't know how to make it work) 
svn path=/nixpkgs/trunk/; revision=23858
 2010-09-18 16:29:07 +00:00
Evgeny Egorochkin
1ba317f3c6 rubyLibs: fix impurity in gem installation. Should not take ruby from user environment. 
svn path=/nixpkgs/trunk/; revision=23857
 2010-09-18 16:26:14 +00:00
Evgeny Egorochkin
9f696ae43e Revert "Make kernel work for me". Committed this by accident. 
This reverts commit 8a2cd2c99f26e5bd5c5a324e2a1712db8991379e.

svn path=/nixpkgs/trunk/; revision=23856
 2010-09-18 16:22:04 +00:00
Evgeny Egorochkin
5bc3007bf6 Make kernel work for me 
svn path=/nixpkgs/trunk/; revision=23855
 2010-09-18 16:20:06 +00:00
Evgeny Egorochkin
8ec9590737 Git: fix an impurity: was taking grep from PATH. 
svn path=/nixpkgs/trunk/; revision=23853
 2010-09-18 12:45:04 +00:00
Evgeny Egorochkin
cfd73f3c41 Quassel: added convenience packages for daemon and client 
svn path=/nixpkgs/trunk/; revision=23847
 2010-09-18 11:26:35 +00:00
Evgeny Egorochkin
fafcfa4f5f AMule: Convenience packages for daemon and clent 
svn path=/nixpkgs/trunk/; revision=23846
 2010-09-18 11:26:30 +00:00
Michael Raskin
48ee2b7efb Fixing EQL evalutaion 
svn path=/nixpkgs/trunk/; revision=23845
 2010-09-17 22:08:50 +00:00
Yury G. Kudryashov
b8b2e300be soprano-2.5.2 
svn path=/nixpkgs/trunk/; revision=23844
 2010-09-17 20:36:25 +00:00
Michael Raskin
49bc04ad32 Use git commit as version 
svn path=/nixpkgs/trunk/; revision=23843
 2010-09-17 20:23:16 +00:00
Michael Raskin
b2c555ee02 Add EQL (Embeddable Common Lisp + Qt) 
svn path=/nixpkgs/trunk/; revision=23842
 2010-09-17 19:52:50 +00:00
Lluís Batlle i Rossell
83bfd42534 Fixing the mtdutils package (install to proper LSB like directories, and remove 'v' in front 
of the version, which annoyed nix-env name matching)

svn path=/nixpkgs/trunk/; revision=23839
 2010-09-17 18:57:38 +00:00
David Guibert
8ee5697147 add cherrypy, a pythonic, object-oriented HTTP framework 
svn path=/nixpkgs/trunk/; revision=23838
 2010-09-17 17:34:08 +00:00
David Guibert
c6f9d17b9a update msmtp up to version 1.4.21 
svn path=/nixpkgs/trunk/; revision=23837
 2010-09-17 17:34:03 +00:00
Lluís Batlle i Rossell
cb8654eba6 Updating asciidoc (hoping it will run faster) 
svn path=/nixpkgs/trunk/; revision=23835
 2010-09-17 17:21:56 +00:00
Ludovic Courtès
50e1e6147e Add `guruplug' platform. 
svn path=/nixpkgs/trunk/; revision=23834
 2010-09-17 15:56:47 +00:00
Ludovic Courtès
078353fc15 Linux: Add GuruPlug-related patches. 
svn path=/nixpkgs/trunk/; revision=23833
 2010-09-17 15:56:42 +00:00
Ludovic Courtès
2739c3aa1e Update Nix unstable. 
svn path=/nixpkgs/trunk/; revision=23832
 2010-09-17 15:56:15 +00:00
Peter Simons
84302a3554 pkgs/top-level/all-packages.nix: strip trailing white space, no functional change 
svn path=/nixpkgs/trunk/; revision=23830
 2010-09-17 14:47:02 +00:00
Peter Simons
c8fbebe6b6 pkgs/top-level/all-packages.nix: removed lowPrio modifier from ghostscriptX 
By default, "nix-env -i ghostscript" used to install a version of Ghostscript
that didn't support X11. IMHO, this was the wrong choice for a user profile.

svn path=/nixpkgs/trunk/; revision=23829
 2010-09-17 14:46:55 +00:00
Peter Simons
9640592265 pkgs/misc/ghostscript/default.nix: strip trailing white space, no functional change 
svn path=/nixpkgs/trunk/; revision=23828
 2010-09-17 14:46:49 +00:00
Eelco Dolstra
fd538ef53d * Fix some more paths in Xen, and make it use /etc/xen for its 
configuration files.

svn path=/nixpkgs/trunk/; revision=23821
 2010-09-16 15:21:28 +00:00
Eelco Dolstra
fac8ff8d71 * Firefox 3.6.10. 
svn path=/nixpkgs/trunk/; revision=23820
 2010-09-16 11:44:48 +00:00
Yury G. Kudryashov
72ab62e8f5 krename meta 
svn path=/nixpkgs/trunk/; revision=23819
 2010-09-16 08:41:03 +00:00
Yury G. Kudryashov
69032f3d1d Add krename 
svn path=/nixpkgs/trunk/; revision=23818
 2010-09-16 08:40:56 +00:00
Yury G. Kudryashov
bd6da9f5f3 Use stdenv2 in podofo 
svn path=/nixpkgs/trunk/; revision=23817
 2010-09-16 08:40:47 +00:00
Marco Maggesi
4e5db40581 Update HOL Light to version 20100820 (rev57 on google code). 
Also replace the monolitic derivation hol_light_binaries with smaller
derivations.  Now the installation works as follows:

# Install the base system and a script "start_hol_light"
$ nix-env -i hol_light_sources hol_light

# Install a checkpointed executable with the core library preloaded
$ nix-env -i hol_light_core_dmtcp

# Install HOL Light binaries preloaded with other specific libraries:
$ nix-env -i hol_light_multivariate_dmtcp
$ nix-env -i hol_light_complex_dmtcp
$ nix-env -i hol_light_sosa_dmtcp
$ nix-env -i hol_light_card_dmtcp


svn path=/nixpkgs/trunk/; revision=23815
 2010-09-15 21:41:18 +00:00
Marco Maggesi
44f2d4439f Change the name of the coq derivation to coq-devel-8.3pre1 
i.e., remove the version from the name.  Nix has its own mechanism to
prevent a packages to be upgraded.  Instead we distinguish development
version (coq-dev-VERSION) from stable versions (coq-VERSION).

Also remove derivation for coq-8.3-beta0-1 which is now superseded by
coq-devel-8.3pre1.


svn path=/nixpkgs/trunk/; revision=23813
 2010-09-15 19:39:48 +00:00
Yury G. Kudryashov
139de1ea2f Don't try to build Qt guis if qt is unsupported on the platform 
svn path=/nixpkgs/trunk/; revision=23812
 2010-09-15 18:52:07 +00:00
Yury G. Kudryashov
f139236666 podofo-0.8.2, metainfo 
svn path=/nixpkgs/trunk/; revision=23811
 2010-09-15 18:37:38 +00:00
Yury G. Kudryashov
48c13f4096 Update cmake 
Use system libraries, make curses optional, add optional qt4 gui etc.

svn path=/nixpkgs/trunk/; revision=23810
 2010-09-15 18:37:21 +00:00
Yury G. Kudryashov
10376e7ba1 More metadata 
svn path=/nixpkgs/trunk/; revision=23808
 2010-09-15 12:57:49 +00:00
Lluís Batlle i Rossell
e6a787f44a Making lua and boost cross-build. 
svn path=/nixpkgs/trunk/; revision=23807
 2010-09-15 09:56:06 +00:00
Michael Raskin
6babe5dea4 Update Veracity 
svn path=/nixpkgs/trunk/; revision=23806
 2010-09-15 08:42:46 +00:00
Yury G. Kudryashov
dd37d34e5f kdeadmin-4.5.1, kdeplasma-addons-4.5.1. Have no time to split 
svn path=/nixpkgs/trunk/; revision=23805
 2010-09-15 05:19:44 +00:00
Yury G. Kudryashov
f0418c74b6 kdegames-4.5.1 
svn path=/nixpkgs/trunk/; revision=23804
 2010-09-15 05:19:35 +00:00
Marco Maggesi
8ab6f9861c Add coq-8.3rc1 
Note: In this version we introduce a new schema for the name of the coq
derivations where the coq version is included in the name (i.e.,
"coq8.3-8.3pre1" instead of "coq-8.3pre1").  The reason for this is that often
coq releases introduce several incompatibilities.  Thus I argue that, in
general, users do not want nix-env to upgrade automatically form one release to
another.  Also version string "8.3pre1" is used instead of "8.3-rc1" to trigger
the nix mechanism for versions comparison.


svn path=/nixpkgs/trunk/; revision=23803
 2010-09-14 21:15:58 +00:00
Ludovic Courtès
11a446272a GNU IceCat 3.6.9. 
svn path=/nixpkgs/trunk/; revision=23802
 2010-09-14 16:39:42 +00:00
Lluís Batlle i Rossell
d0b42b2927 Making the firefox java plugin work in i686-linux and x86_64-linux. 
It should work for both firefox 3.6 and firefox 3.5 (said roconnor on irc).

Thanks to the wiki page http://wiki.nixos.org/wiki/Java_in_Firefox which explained
why what we had did not work.

svn path=/nixpkgs/trunk/; revision=23801
 2010-09-14 15:14:18 +00:00
Lluís Batlle i Rossell
76a02e762a Allowing boost build enabling parallelBuilds 
svn path=/nixpkgs/trunk/; revision=23800
 2010-09-14 14:47:16 +00:00
Lluís Batlle i Rossell
7471ffb76d Fixing the plugin directory for the jdk6 i686-linux 
svn path=/nixpkgs/trunk/; revision=23799
 2010-09-14 14:47:12 +00:00
Yury G. Kudryashov
ecc9b176b0 kdemultimedia: tunepimp, musicbrainz 
svn path=/nixpkgs/trunk/; revision=23798
 2010-09-14 14:29:49 +00:00
Yury G. Kudryashov
647ccb48ad Forgotten to add patch to patches array 
svn path=/nixpkgs/trunk/; revision=23797
 2010-09-14 14:29:43 +00:00
Yury G. Kudryashov
2ecfb5cd9d Add libtunepimp 
svn path=/nixpkgs/trunk/; revision=23796
 2010-09-14 14:29:37 +00:00
Yury G. Kudryashov
163e453e10 Add mp4v2 
svn path=/nixpkgs/trunk/; revision=23795
 2010-09-14 14:29:31 +00:00
Yury G. Kudryashov
5f4795b5f1 Add libofa 
svn path=/nixpkgs/trunk/; revision=23794
 2010-09-14 14:29:25 +00:00
Yury G. Kudryashov
09c85666cd Add libmusicbrainz 2.x and 3.x 
svn path=/nixpkgs/trunk/; revision=23793
 2010-09-14 14:29:19 +00:00
Yury G. Kudryashov
359b360fc2 Add libdiscid 
svn path=/nixpkgs/trunk/; revision=23792
 2010-09-14 14:29:13 +00:00
Yury G. Kudryashov
95b08e5381 kdegraphics-4.5.1 
svn path=/nixpkgs/trunk/; revision=23791
 2010-09-14 14:29:08 +00:00
Yury G. Kudryashov
76a3eb02d3 kdeutils-4.5.1 
svn path=/nixpkgs/trunk/; revision=23790
 2010-09-14 14:29:01 +00:00
Yury G. Kudryashov
bb568e7467 Delete unused files 
svn path=/nixpkgs/trunk/; revision=23789
 2010-09-14 14:28:55 +00:00
Eelco Dolstra
cdecced3b0 * Fix various references to /usr. 
svn path=/nixpkgs/trunk/; revision=23788
 2010-09-14 13:50:32 +00:00
Eelco Dolstra
7f2af6acfd svn path=/nixpkgs/trunk/; revision=23784 2010-09-14 12:15:06 +00:00
Eelco Dolstra
9dbbae2c0c * bridge-utils updated to 1.4. 
svn path=/nixpkgs/trunk/; revision=23778
 2010-09-14 10:54:50 +00:00
Lluís Batlle i Rossell
daea455d15 Removing coreutils_real from release-cross. 
It had to be 'coreutils' instead, but I don't think they cross-build. They
cross-build only in stdenv-updates I tihnk.

svn path=/nixpkgs/trunk/; revision=23774
 2010-09-13 21:16:10 +00:00
Michael Raskin
b49a2d16b2 Add overridability to gnome 
svn path=/nixpkgs/trunk/; revision=23773
 2010-09-13 20:54:46 +00:00
Yury G. Kudryashov
75f08dffa6 kdewebdev-4.5.1, splitted 
svn path=/nixpkgs/trunk/; revision=23771
 2010-09-13 20:14:45 +00:00
Yury G. Kudryashov
ddce0423d9 Fix kde-4.5 kscreensaver 
svn path=/nixpkgs/trunk/; revision=23768
 2010-09-13 17:34:19 +00:00
Yury G. Kudryashov
82d07ebaa2 Fix libktorrent compilation with kde-4.4 
svn path=/nixpkgs/trunk/; revision=23767
 2010-09-13 17:34:14 +00:00
Andres Löh
772abcfaaa bugfix 
svn path=/nixpkgs/trunk/; revision=23763
 2010-09-13 16:01:33 +00:00
Eelco Dolstra
2202d32006 * Add stringAfter' as a synonym of fullDepEntry', with the arguments 
flipped to denote what it actually does (i.e., a string fragment
  that comes *after* the named fragments).  One day we can have
  `stringBefore'.

svn path=/nixpkgs/trunk/; revision=23761
 2010-09-13 15:31:06 +00:00
Yury G. Kudryashov
ea18f17f8c kdetoys-4.5.1, splitted 
svn path=/nixpkgs/trunk/; revision=23759
 2010-09-13 14:23:36 +00:00
Yury G. Kudryashov
20b190b582 kdesdk-4.5.1, splitted 
svn path=/nixpkgs/trunk/; revision=23758
 2010-09-13 14:23:29 +00:00
Yury G. Kudryashov
c4beccaf1a Remove unused patch 
svn path=/nixpkgs/trunk/; revision=23757
 2010-09-13 14:23:21 +00:00
Yury G. Kudryashov
84040e15cc kdenetwork-4.5.1, kdeedu-4.5.1 
svn path=/nixpkgs/trunk/; revision=23756
 2010-09-13 14:23:16 +00:00
Yury G. Kudryashov
e723e53699 Use new ktorrent in kde44 
svn path=/nixpkgs/trunk/; revision=23755
 2010-09-13 14:23:08 +00:00
Yury G. Kudryashov
38dec40ddc Upgrade ktorrent 
svn path=/nixpkgs/trunk/; revision=23754
 2010-09-13 14:23:02 +00:00
Yury G. Kudryashov
61dd03faa8 Upgrade libktorrent 
svn path=/nixpkgs/trunk/; revision=23753
 2010-09-13 14:22:56 +00:00
Yury G. Kudryashov
d611b0aedb Upgrade&split kdeartwork 
svn path=/nixpkgs/trunk/; revision=23752
 2010-09-13 14:22:51 +00:00
Yury G. Kudryashov
20a0469f1c kdebase-{runtime,workspace}, kdebindings 
svn path=/nixpkgs/trunk/; revision=23751
 2010-09-13 14:22:43 +00:00
Yury G. Kudryashov
255acffe14 ebook-tools-0.2.0 
svn path=/nixpkgs/trunk/; revision=23750
 2010-09-13 14:22:37 +00:00
Andres Löh
c7f570b473 Addressing problem with conflicting versions of Haskell's time library. 
svn path=/nixpkgs/trunk/; revision=23746
 2010-09-13 12:07:14 +00:00
Michael Raskin
58722fa393 Update veracity 
svn path=/nixpkgs/trunk/; revision=23745
 2010-09-13 11:54:30 +00:00
Andres Löh
ae49a474ff Added Hakyll and dependencies. 
svn path=/nixpkgs/trunk/; revision=23742
 2010-09-13 10:30:54 +00:00
Eelco Dolstra
b63de97e4c * Updated gecko-mediaplayer and gnome-mplayer. 
svn path=/nixpkgs/trunk/; revision=23737
 2010-09-11 17:16:42 +00:00
Eelco Dolstra
bf7c353ad1 * Updated Chromium. 
svn path=/nixpkgs/trunk/; revision=23736
 2010-09-11 14:20:46 +00:00
Nicolas Pierron
7f8037cfd7 Add additional shortcuts frequently used in NixOS. 
svn path=/nixpkgs/trunk/; revision=23733
 2010-09-10 18:03:16 +00:00
Eelco Dolstra
13f346058c * Add a branch of the Linux kernel that can be used in Xen's Dom0. 
From http://git.kernel.org/?p=linux/kernel/git/jeremy/xen.git;a=shortlog;h=refs/heads/xen/stable-2.6.32.x

svn path=/nixpkgs/trunk/; revision=23729
 2010-09-10 16:27:39 +00:00
Eelco Dolstra
3b4c29781b * Turn off obsolete kernels. 
svn path=/nixpkgs/trunk/; revision=23722
 2010-09-10 14:12:15 +00:00
Eelco Dolstra
ead1b8bc5c * Move config-blocks.nix to zen-kernel where it's used. 
svn path=/nixpkgs/trunk/; revision=23721
 2010-09-10 14:07:22 +00:00
Eelco Dolstra
9ff5c12798 * Remove the systemtap option from linux-2.6.32.nix and use 
extraConfig instead.

svn path=/nixpkgs/trunk/; revision=23720
 2010-09-10 14:06:56 +00:00
Ludovic Courtès
193799ec3d nixBuild: Add `buildOutOfSourceTree' option. 
svn path=/nixpkgs/trunk/; revision=23717
 2010-09-10 12:39:57 +00:00
Eelco Dolstra
6021bcf0dc * Updated the GRUB 0.97 patchset from Gentoo to 1.10. 
svn path=/nixpkgs/trunk/; revision=23715
 2010-09-10 12:21:43 +00:00
Ludovic Courtès
582c02b1c0 GNU Parallel 20100906. 
svn path=/nixpkgs/trunk/; revision=23714
 2010-09-10 11:50:17 +00:00
Ludovic Courtès
9fd0fdebd9 GNU Mailutils 2.2. 
svn path=/nixpkgs/trunk/; revision=23713
 2010-09-10 11:50:11 +00:00
Eelco Dolstra
6d1f247646 * Firefox 3.6.9. 
svn path=/nixpkgs/trunk/; revision=23711
 2010-09-10 10:56:44 +00:00
Eelco Dolstra
cea083bec9 * Set the Python search path for Xen's Python scripts. As an 
experiment, do this by patching a line setting sys.path into the
  script, rather than using makeWrapper.
* Xen requires pythonFull because it needs https/ssl support.

svn path=/nixpkgs/trunk/; revision=23710
 2010-09-10 10:53:17 +00:00
Eelco Dolstra
df1d0752eb * Get rid of the template argument in mkOverride. 
svn path=/nixpkgs/trunk/; revision=23709
 2010-09-10 09:31:31 +00:00
Yury G. Kudryashov
fb8e2ed6be Verbose copy, use pkg-config to find dependencies 
svn path=/nixpkgs/trunk/; revision=23708
 2010-09-09 20:05:00 +00:00
Yury G. Kudryashov
e7c7d6a00d kdepim, kdepim-runtime, kdebase upgrade 
svn path=/nixpkgs/trunk/; revision=23707
 2010-09-09 20:04:56 +00:00
Yury G. Kudryashov
e7ca8b0d84 (un)propagate some buildInputs 
svn path=/nixpkgs/trunk/; revision=23706
 2010-09-09 20:04:50 +00:00
Eelco Dolstra
d4c7538648 * Add "gtk" to the top-level scope (just like "glib") and remove all 
those "inherit (gtkLibs) gtk" lines.

svn path=/nixpkgs/trunk/; revision=23699
 2010-09-09 16:48:13 +00:00
Eelco Dolstra
c1867fe704 * Get Xen to build. It's not tested yet and doesn't include a Dom0 
kernel.

svn path=/nixpkgs/trunk/; revision=23698
 2010-09-09 16:45:18 +00:00
Peter Simons
c66aa309be pkgs/applications/editors/emacs-modes/magit: updated to version 0.8.2 
svn path=/nixpkgs/trunk/; revision=23697
 2010-09-09 16:06:34 +00:00
Peter Simons
220025a6ec pkgs/development/libraries/eventlog: updated to version 0.2.12 
svn path=/nixpkgs/trunk/; revision=23696
 2010-09-09 16:06:31 +00:00
Peter Simons
9b8a491a73 pkgs/applications/version-management/git-and-tools/git: updated to version 1.7.2.3 
svn path=/nixpkgs/trunk/; revision=23695
 2010-09-09 16:06:26 +00:00
Rob Vermaas
03706558a9 maven-build: do full assembly without tests, add site to build products 
svn path=/nixpkgs/trunk/; revision=23694
 2010-09-09 10:47:54 +00:00
Peter Simons
3bb0a18f0c pkgs/development/libraries/t1lib: updated to version 5.1.2 
svn path=/nixpkgs/trunk/; revision=23693
 2010-09-09 09:43:33 +00:00
Rob Vermaas
62eb8741ce maven-build: only copy site dir if it exists 
svn path=/nixpkgs/trunk/; revision=23692
 2010-09-09 07:22:45 +00:00
Rob Vermaas
b601947bcb maven-build: copy whole site dir and adapted hydra-build-products 
svn path=/nixpkgs/trunk/; revision=23691
 2010-09-09 07:19:12 +00:00
Peter Simons
7b4678b6d8 pkgs/tools/misc/syslog-ng: updated to version 3.1.2 
svn path=/nixpkgs/trunk/; revision=23686
 2010-09-08 13:28:05 +00:00
Marco Maggesi
df21c86e08 Improve hol_light: 
*   Upgrade hol_light to the latest svn version on google code (r57).

  *   Improve and semplify the mechanism for the generation of checkpointed binaries.

  *   Make hol to work with camlp5 and thus with recent version of ocaml (>=3.10, <=3.11).

  *   Remove ocaml_with_sources which is not needed anymore.

svn path=/nixpkgs/trunk/; revision=23685
 2010-09-08 13:07:45 +00:00
Marco Maggesi
a280a31f56 Add a patch to dmtcp to allow the restart of checkpointed programs with a different uid. 
(This is required in order to generate hol_light_binaries).

Also do a bit of cleanup.

svn path=/nixpkgs/trunk/; revision=23684
 2010-09-08 11:40:32 +00:00
Yury G. Kudryashov
f802a70d87 Update gem-nix patch to use ''...'' instead of "..." 
Also update ruby libs

svn path=/nixpkgs/trunk/; revision=23683
 2010-09-08 09:56:59 +00:00
Yury G. Kudryashov
17c70d3efd Mass rubygems update 
* Upgrade to rubygems-1.3.7
* Upgrade all gems
* Add rails3

svn path=/nixpkgs/trunk/; revision=23682
 2010-09-08 09:56:53 +00:00
Yury G. Kudryashov
40a7243ed3 ruby: upgrade, optional docs 
svn path=/nixpkgs/trunk/; revision=23681
 2010-09-08 09:56:46 +00:00
Yury G. Kudryashov
14a8df0615 kdepimlibs-4.5.1 
svn path=/nixpkgs/trunk/; revision=23680
 2010-09-08 09:56:40 +00:00
Rob Vermaas
a074da499c vm/default.nix: updating debian lenny hashes 
svn path=/nixpkgs/trunk/; revision=23674
 2010-09-07 14:33:46 +00:00
Andres Löh
07cabc717b Version bump for uu-parsinglib. 
svn path=/nixpkgs/trunk/; revision=23673
 2010-09-07 13:40:02 +00:00
Andres Löh
9534550af5 gitit should now work with ghc-6.12.3 
svn path=/nixpkgs/trunk/; revision=23671
 2010-09-07 13:11:21 +00:00
Andres Löh
923d30959f Added yst; updated happstack, pandoc, gitit and dependencies. 
svn path=/nixpkgs/trunk/; revision=23670
 2010-09-07 12:58:07 +00:00
Andres Löh
b936683cc4 Small refactoring to prepare for future changes. 
svn path=/nixpkgs/trunk/; revision=23669
 2010-09-07 12:58:01 +00:00
Rob Vermaas
d9f435106c lua5: re-enable -fPIC for lua5 
svn path=/nixpkgs/trunk/; revision=23668
 2010-09-07 12:56:49 +00:00
Lluís Batlle i Rossell
08a4373125 Bump awesome. 
(patch by Carles Pagès)

svn path=/nixpkgs/trunk/; revision=23667
 2010-09-07 12:52:30 +00:00
Sander van der Burg
8d1cc5fcc2 Upgraded VirtualBox guest additions to version 3.2.8 and fixed it to make it work with xorg-server-1.8.x again. The RandR support still doesn't work properly, however 
svn path=/nixpkgs/trunk/; revision=23664
 2010-09-07 12:08:24 +00:00
Evgeny Egorochkin
919ae70e01 Make hydra compile QGit 
svn path=/nixpkgs/trunk/; revision=23662
 2010-09-07 09:54:11 +00:00
Ludovic Courtès
d460ffc554 uucp: Fetch from mirror://gnu; add `meta'. 
svn path=/nixpkgs/trunk/; revision=23661
 2010-09-07 08:02:36 +00:00
Ludovic Courtès
e4ef870382 Remove another reference to attribute `guileLib'. 
svn path=/nixpkgs/trunk/; revision=23660
 2010-09-06 15:36:41 +00:00
Ludovic Courtès
420adcd354 Remove another reference to attribute `guileLib'. 
svn path=/nixpkgs/trunk/; revision=23659
 2010-09-06 08:45:24 +00:00
Ludovic Courtès
f2b9328a31 Fix references to the guileLib' attribute, now guile_lib'. 
svn path=/nixpkgs/trunk/; revision=23658
 2010-09-06 07:58:17 +00:00
Ludovic Courtès
78adb9fbf1 org-mode: Pass the full path to which'; use callPackage'. 
svn path=/nixpkgs/trunk/; revision=23657
 2010-09-06 07:58:13 +00:00
Eelco Dolstra
b724075063 * Audacious 2.4.0. 
svn path=/nixpkgs/trunk/; revision=23656
 2010-09-06 07:29:18 +00:00
Lluís Batlle i Rossell
7e27052bd6 Applying the patch adding 'detox' from Tom Ridge and Karn Kallio. 
svn path=/nixpkgs/trunk/; revision=23655
 2010-09-06 07:21:08 +00:00
Lluís Batlle i Rossell
f01245ee4a Improving a bit the configure options for mutt: 
Enable debug
Fix a copy and paste error in --without-sasl

svn path=/nixpkgs/trunk/; revision=23654
 2010-09-06 07:17:20 +00:00
Michael Raskin
29db2ca0c9 Adding Ekiga 
svn path=/nixpkgs/trunk/; revision=23653
 2010-09-05 23:37:54 +00:00
Michael Raskin
8479512626 Step back PyGTK from the update requiring a lot of too-new code 
svn path=/nixpkgs/trunk/; revision=23652
 2010-09-05 18:57:43 +00:00
Michael Raskin
4926bd7256 Update PyGTK 
svn path=/nixpkgs/trunk/; revision=23651
 2010-09-05 18:10:16 +00:00
Ludovic Courtès
895ba33eb4 Guile-Lib 0.1.9. 
svn path=/nixpkgs/trunk/; revision=23650
 2010-09-05 15:19:23 +00:00
Ludovic Courtès
1ecee338e8 GNU Guile 1.9.12. 
svn path=/nixpkgs/trunk/; revision=23649
 2010-09-05 15:19:17 +00:00
Ludovic Courtès
db61930195 GNU ddrescue 1.13. 
svn path=/nixpkgs/trunk/; revision=23648
 2010-09-05 15:19:12 +00:00
Ludovic Courtès
e9dc9a374a GDB 7.2. 
svn path=/nixpkgs/trunk/; revision=23647
 2010-09-05 15:19:07 +00:00
Ludovic Courtès
95486795ad GNU Parallel 20100822. 
svn path=/nixpkgs/trunk/; revision=23646
 2010-09-05 15:19:02 +00:00
Ludovic Courtès
c23a9903fe GNU Sharutils 4.10. 
svn path=/nixpkgs/trunk/; revision=23645
 2010-09-05 15:18:57 +00:00
Michael Raskin
7ad068644e Adding GNOME rarian - scrollkeeper replacement 
svn path=/nixpkgs/trunk/; revision=23643
 2010-09-05 12:48:39 +00:00
Michael Raskin
9090138f5e Updating Gajim 
svn path=/nixpkgs/trunk/; revision=23642
 2010-09-05 12:29:44 +00:00
Yury G. Kudryashov
99015c8de7 kdeaccessibility-4.5.1, splitted 
svn path=/nixpkgs/trunk/; revision=23637
 2010-09-04 19:53:39 +00:00
Yury G. Kudryashov
ac1823a3b4 grantlee.meta 
svn path=/nixpkgs/trunk/; revision=23636
 2010-09-04 19:53:32 +00:00
Ludovic Courtès
2878beff40 Minicom 2.4. 
svn path=/nixpkgs/trunk/; revision=23634
 2010-09-03 20:52:32 +00:00
Michael Raskin
cc616fbada Update Veraity nightly version 
svn path=/nixpkgs/trunk/; revision=23633
 2010-09-03 19:59:51 +00:00
Yury G. Kudryashov
6ee7628a19 Oops.. Forgotten ';' 
svn path=/nixpkgs/trunk/; revision=23627
 2010-09-03 18:55:36 +00:00
Yury G. Kudryashov
8312b2e5b9 Move kdeutils components into kdeutils. prefix 
Now one can use lib.attrValues kde45.kdeutils to install full kdeutils.

svn path=/nixpkgs/trunk/; revision=23626
 2010-09-03 17:41:00 +00:00
Yury G. Kudryashov
aa7164d7de Add grantlee 
svn path=/nixpkgs/trunk/; revision=23625
 2010-09-03 17:40:55 +00:00
Yury G. Kudryashov
83dac52cc9 qt-4.7.0-rc1 
svn path=/nixpkgs/trunk/; revision=23624
 2010-09-03 17:40:49 +00:00
Yury G. Kudryashov
2c31d81cdb kdelibs-4.5.1 
svn path=/nixpkgs/trunk/; revision=23623
 2010-09-03 17:40:45 +00:00
Yury G. Kudryashov
b11040eb38 oxygen-icons-4.5.1 
svn path=/nixpkgs/trunk/; revision=23622
 2010-09-03 17:40:29 +00:00
Eelco Dolstra
9b22cac306 * Fix the nvi URL. 
svn path=/nixpkgs/trunk/; revision=23621
 2010-09-03 15:32:40 +00:00
Marco Maggesi
1df4ff6aae Remove configure file for OCaml 3.09.1 which is not used anymore. 
svn path=/nixpkgs/trunk/; revision=23619
 2010-09-03 14:05:49 +00:00
Marco Maggesi
b508e9445b Include directory for OCaml's C headers. 
Make an include directory and symlinks ocaml's C header files into
that directory.  By having an include directory it is automatically
propogated as to NIX_CFLAGS_COMPILE for anyone who uses ocaml as a
build input.

(Proposed on the mailing list by Russell O'Connor.)

svn path=/nixpkgs/trunk/; revision=23618
 2010-09-03 13:48:35 +00:00
Eelco Dolstra
2c424208f9 * man-pages 3.25. 
svn path=/nixpkgs/trunk/; revision=23617
 2010-09-03 13:21:38 +00:00
Peter Simons
4be79671b4 pkgs/development/python-modules/pygobject: ensure that python code can be found 
svn path=/nixpkgs/trunk/; revision=23616
 2010-09-03 13:18:38 +00:00
Eelco Dolstra
3cfc942bdc * Added a function `applyGlobalOverrides' to return Nixpkgs with the 
specified overrides applied.  This does the same as the
  `packageOverrides' attribute in ~/.nixpkgs/config.nix, but can be
  used within all-packages.nix to do a "deep" override for some
  specific package.  For instance, to build Thunderbird with an older
  version of Glib, you can say:

    thunderbird3 =
      let
        pkgs = applyGlobalOverrides (pkgsOrig:
          { gtkLibs220 = pkgsOrig.gtkLibs220 // 
              { glib = pkgsOrig.gtkLibs218.glib; };
          });
      in
        pkgs.callPackage .../thunderbird/3.x.nix {
          inherit (pkgs.gnome) libIDL;
        };

  Note that `pkgsFun' now has an argument `pkgs' to refer to its own
  result.

* Moved callPackage etc. into pkgsFun so that it uses the right
  overriden packages, if applicable.  `defaultScope' isn't in the
  result set because that causes nix-env to go into an apparently
  infinite recursion.

* Dropped the optional pkgsOrig argument to ~/.nixpkgs/config.nix,
  because it's probably not useful or used.

svn path=/nixpkgs/trunk/; revision=23613
 2010-09-03 10:46:18 +00:00
Andres Löh
c51b2a8beb Minor syntactic simplification. 
svn path=/nixpkgs/trunk/; revision=23607
 2010-09-03 07:16:57 +00:00
Andres Löh
e208e8ae76 Added HaRe, the Haskell Refactorer. 
svn path=/nixpkgs/trunk/; revision=23599
 2010-09-02 10:02:26 +00:00
Nicolas Pierron
5e4adf0e4b Update oRTP (0.13.1 -> 0.16.3) 
svn path=/nixpkgs/trunk/; revision=23595
 2010-09-01 17:40:37 +00:00
Michael Raskin
797263abb9 Rolling back to latest known-good WebKit to check whether the build errors are because of other changes 
svn path=/nixpkgs/trunk/; revision=23593
 2010-09-01 11:18:39 +00:00
Michael Raskin
ee731b9a4d Updating veracity 
svn path=/nixpkgs/trunk/; revision=23590
 2010-09-01 10:12:56 +00:00
Michael Raskin
26b3c63e32 Going further back with WebKit 
svn path=/nixpkgs/trunk/; revision=23573
 2010-09-01 08:32:59 +00:00
Michael Raskin
a33c1d2788 Stepping back roughly halfway to our previous version of Webkit 
svn path=/nixpkgs/trunk/; revision=23572
 2010-08-31 18:47:07 +00:00
Andres Löh
6609f91e61 Fixing Haskell Platform attribute names in release.nix. 
svn path=/nixpkgs/trunk/; revision=23569
 2010-08-31 15:54:08 +00:00
Michael Raskin
ed7f0ddfc3 Step back WebKit upgrade 
svn path=/nixpkgs/trunk/; revision=23565
 2010-08-31 14:20:44 +00:00
Eelco Dolstra
1d236b4dcc svn path=/nixpkgs/trunk/; revision=23562 2010-08-31 13:18:12 +00:00
Michael Raskin
ca75f024ab Update WebKit 
svn path=/nixpkgs/trunk/; revision=23558
 2010-08-31 11:51:40 +00:00
Andres Löh
fec5966932 Fix renamed argument problem. 
svn path=/nixpkgs/trunk/; revision=23556
 2010-08-31 10:40:28 +00:00
Michael Raskin
b7a15bae9f Adding libosip - GNU SIP library 
svn path=/nixpkgs/trunk/; revision=23555
 2010-08-31 09:58:09 +00:00
Lluís Batlle i Rossell
6acc186e0e Fixing the catalan locale for kicad (it had the wrong encoding written) 
svn path=/nixpkgs/trunk/; revision=23554
 2010-08-31 09:24:49 +00:00
Lluís Batlle i Rossell
aa86a0c4a2 Fixing kicad so it not only builds, but it also runs and finds the library of components. 
svn path=/nixpkgs/trunk/; revision=23552
 2010-08-31 08:19:28 +00:00
Andres Löh
e94147754c Switching haskell-packages.nix to callPackage ... 
svn path=/nixpkgs/trunk/; revision=23551
 2010-08-30 17:10:21 +00:00
Andres Löh
d58a372ca2 Version bump for Haskell text library. 
svn path=/nixpkgs/trunk/; revision=23542
 2010-08-30 10:31:39 +00:00
Rob Vermaas
1776b95afe added open-iscsi 
svn path=/nixpkgs/trunk/; revision=23541
 2010-08-30 09:40:44 +00:00
Rob Vermaas
f6e0a38226 added iscsitarget 
svn path=/nixpkgs/trunk/; revision=23540
 2010-08-30 09:15:27 +00:00
Eelco Dolstra
43ac966abb * lsof 4.84, psmisc 22.12. 
svn path=/nixpkgs/trunk/; revision=23537
 2010-08-29 23:22:26 +00:00
Eelco Dolstra
73eb2ce265 svn path=/nixpkgs/trunk/; revision=23535 2010-08-29 22:45:14 +00:00
Eelco Dolstra
25555b48e0 svn path=/nixpkgs/trunk/; revision=23531 2010-08-29 22:00:33 +00:00
Eelco Dolstra
3cdc3c4abe * Mark the VM builds as requiring KVM support. 
svn path=/nixpkgs/trunk/; revision=23526
 2010-08-29 21:27:06 +00:00
Yury G. Kudryashov
6473176133 Split kdeutils, adopt kdePackage 
Also migrate existing kdePackage users to new API

svn path=/nixpkgs/trunk/; revision=23525
 2010-08-29 21:20:38 +00:00
Eelco Dolstra
5e19006c1e * Add mountall to the channel. 
svn path=/nixpkgs/trunk/; revision=23523
 2010-08-29 20:50:38 +00:00
Michael Raskin
d53af6407c Fix changed patch hash (checked new page) 
svn path=/nixpkgs/trunk/; revision=23522
 2010-08-29 20:10:39 +00:00
Yury G. Kudryashov
aaeac7d5d7 Upgrade to system-config-printer-1.2.4 
TODO: make it work with udev (add helpers to udev PATH etc.)

svn path=/nixpkgs/trunk/; revision=23520
 2010-08-29 19:37:02 +00:00
Yury G. Kudryashov
0a28239504 Make pyqt-dbus work 
svn path=/nixpkgs/trunk/; revision=23519
 2010-08-29 19:36:54 +00:00
Lluís Batlle i Rossell
5994279104 The main id3v2 default.nix! I forgot it. 
svn path=/nixpkgs/trunk/; revision=23518
 2010-08-29 19:27:44 +00:00
Michael Raskin
3a0bf4d42d Update wireshark 
svn path=/nixpkgs/trunk/; revision=23516
 2010-08-29 19:17:00 +00:00
Michael Raskin
faf4d8ca8d Now AUFS2 has proper source for 2.6.35 and 2.6.32 
svn path=/nixpkgs/trunk/; revision=23515
 2010-08-29 18:31:51 +00:00
Lluís Batlle i Rossell
d570082ad7 Fixing id3v2 runtime error (allocation/free error) 
svn path=/nixpkgs/trunk/; revision=23514
 2010-08-29 15:56:11 +00:00
Lluís Batlle i Rossell
65e7754f51 Allowing abcde to make mp3. I had to add id3v2, and fix the id3lib build. 
svn path=/nixpkgs/trunk/; revision=23513
 2010-08-29 15:53:42 +00:00
Michael Raskin
89c3aed22e Update AUFS2 to latest git for 2.6.35 - old version does not work with newer kernels 
svn path=/nixpkgs/trunk/; revision=23511
 2010-08-29 14:39:35 +00:00
Armijn Hemel
ccf724b8a8 d'oh! forgot " 
svn path=/nixpkgs/trunk/; revision=23508
 2010-08-29 13:49:58 +00:00
Armijn Hemel
fe7e41324c update to 0.6.19, add meta information 
svn path=/nixpkgs/trunk/; revision=23507
 2010-08-29 13:47:59 +00:00
Armijn Hemel
733b2893a7 update to 2.4.10.1, add correct license 
svn path=/nixpkgs/trunk/; revision=23506
 2010-08-29 13:40:02 +00:00
Lluís Batlle i Rossell
66004ecba7 Update fuse and make wdfs build with the latest neon. neon026 does not build with the current 
SSL. We should either remove neon026 or fix it.

svn path=/nixpkgs/trunk/; revision=23505
 2010-08-29 12:27:41 +00:00
Michael Raskin
d5f6f72342 Enable AUFS2 patch 
svn path=/nixpkgs/trunk/; revision=23499
 2010-08-29 10:38:39 +00:00
Michael Raskin
a73c3a96e6 Correct patch for AUFS2 2.6.35.* 
svn path=/nixpkgs/trunk/; revision=23498
 2010-08-29 10:37:58 +00:00
Lluís Batlle i Rossell
ce73a758aa Updating Warzone2100 
svn path=/nixpkgs/trunk/; revision=23491
 2010-08-29 09:43:56 +00:00
Lluís Batlle i Rossell
2377a46c8f Adding the game Advanced Strategic Command. 
I had to add an old version of libsigc++ for it.

svn path=/nixpkgs/trunk/; revision=23490
 2010-08-29 09:43:46 +00:00
Lluís Batlle i Rossell
159474361c Adding the game UFO: Alien Invasion. 
svn path=/nixpkgs/trunk/; revision=23488
 2010-08-29 00:45:29 +00:00
Lluís Batlle i Rossell
2ab5f25607 Updating 'tig' (for garbas@freenode) 
svn path=/nixpkgs/trunk/; revision=23487
 2010-08-28 14:10:49 +00:00
Eelco Dolstra
867707c07d * Thunderbird 3.1.2. 
svn path=/nixpkgs/trunk/; revision=23484
 2010-08-27 14:32:58 +00:00
Eelco Dolstra
656bffd7e2 * SQLite 3.7.2. 
svn path=/nixpkgs/trunk/; revision=23479
 2010-08-27 11:08:29 +00:00
Eelco Dolstra
3f400cc2e3 * Latest kernels. 
svn path=/nixpkgs/trunk/; revision=23476
 2010-08-27 08:44:07 +00:00
Eelco Dolstra
1417d5f300 * Updated the Sqlite Nix. 
svn path=/nixpkgs/trunk/; revision=23475
 2010-08-27 08:43:51 +00:00
Rob Vermaas
fedbaa9d7a remove pdfssa4met again, because it was added by accident 
svn path=/nixpkgs/trunk/; revision=23474
 2010-08-27 06:53:36 +00:00
Rob Vermaas
092ab39b1b added rdflib, pdfssa4met python packages 
svn path=/nixpkgs/trunk/; revision=23473
 2010-08-27 06:32:49 +00:00
Lluís Batlle i Rossell
9884d381c0 Tell hydra to build the kernels 2.6.34 and 2.6.35 
svn path=/nixpkgs/trunk/; revision=23472
 2010-08-26 20:53:10 +00:00
Peter Simons
62021d80dc pkgs/applications/editors/emacs-modes/maude: the "official" maude mode is crap; use the one from sourceforge instead 
svn path=/nixpkgs/trunk/; revision=23471
 2010-08-26 19:03:52 +00:00
Peter Simons
c1469fba93 pkgs/development/libraries/tecla: enable Hydra build on all platforms 
svn path=/nixpkgs/trunk/; revision=23470
 2010-08-26 18:43:37 +00:00
Peter Simons
b41eb608da pkgs/development/libraries/buddy: enable Hydra build on all platforms 
svn path=/nixpkgs/trunk/; revision=23469
 2010-08-26 18:43:29 +00:00
Peter Simons
687c9ddb3e pkgs/applications/editors/emacs-modes/maude: updated to version 2 
svn path=/nixpkgs/trunk/; revision=23468
 2010-08-26 18:19:19 +00:00
Peter Simons
91f20b6289 pkgs/development/interpreters/maude: updated to version 2.5 
svn path=/nixpkgs/trunk/; revision=23467
 2010-08-26 18:09:14 +00:00
Peter Simons
49c437a31e pkgs/applications/science/math/maxima: use a correct license tag 
Thanks, Ludovic.

svn path=/nixpkgs/trunk/; revision=23466
 2010-08-26 17:57:14 +00:00
Eelco Dolstra
a9da4153c4 * Fix an infinite recursion in scons. 
svn path=/nixpkgs/trunk/; revision=23464
 2010-08-26 13:30:25 +00:00
Eelco Dolstra
6e0911c3cb * Doh. 
svn path=/nixpkgs/trunk/; revision=23463
 2010-08-26 13:18:47 +00:00
Eelco Dolstra
fee41ba2fb * Make sitecopy build against Neon 0.29. 
svn path=/nixpkgs/trunk/; revision=23461
 2010-08-26 13:09:52 +00:00
Peter Simons
a2aef1ab80 pkgs/top-level/python-packages.nix: pexpect doesn't have regression tests 
svn path=/nixpkgs/trunk/; revision=23459
 2010-08-26 12:52:43 +00:00
Peter Simons
25308dd098 pkgs/development/tools/build-managers/scons: updated to version 2.0.1 
svn path=/nixpkgs/trunk/; revision=23457
 2010-08-26 12:24:16 +00:00
Peter Simons
0bc62c5ad7 pkgs/top-level/all-packages.nix: wrap emacs23Packages in "recurseIntoAttrs" so that these packages are visible in nix-env 
svn path=/nixpkgs/trunk/; revision=23456
 2010-08-26 12:21:15 +00:00
Marco Maggesi
b7a84503f3 Update fossil to version 2010-08-23 22:24:16 
svn path=/nixpkgs/trunk/; revision=23455
 2010-08-26 12:10:58 +00:00
Peter Simons
3b94efffe5 pkgs/development/interpreters/python/2.5: removed obsolete python version 2.5 
Python 2.5 is unused in nixpkgs -- 2.6 has been the default version for
quite a while.

svn path=/nixpkgs/trunk/; revision=23454
 2010-08-26 12:09:42 +00:00
Peter Simons
098b763939 pkgs/applications/science/logic/prover9: fixed trivial syntax error 
svn path=/nixpkgs/trunk/; revision=23453
 2010-08-26 12:06:05 +00:00
Peter Simons
eb37b385f9 pkgs/top-level/python-packages.nix: added pexpect version 2.3 
svn path=/nixpkgs/trunk/; revision=23452
 2010-08-26 12:03:17 +00:00
Peter Simons
2c4c301c9b pkgs/applications/science/math/wxmaxima: updated to version 0.8.6 
svn path=/nixpkgs/trunk/; revision=23451
 2010-08-26 11:53:17 +00:00
Peter Simons
83ae38861e pkgs/applications/science/math/maxima: added license tag 
svn path=/nixpkgs/trunk/; revision=23450
 2010-08-26 11:51:10 +00:00
Peter Simons
88b126b9ca pkgs/applications/science/math/maxima: build this package on Unix'ish platforms, but not on Windows 
svn path=/nixpkgs/trunk/; revision=23449
 2010-08-26 11:49:54 +00:00
Peter Simons
24e71fa8fc pkgs/applications/science/math/maxima: updated to version 5.22.1 
svn path=/nixpkgs/trunk/; revision=23448
 2010-08-26 11:44:43 +00:00
Peter Simons
403938b004 pkgs/applications/science/logic/prover9: updated homepage and license 
svn path=/nixpkgs/trunk/; revision=23447
 2010-08-26 11:42:41 +00:00
Peter Simons
340d4a6ddd pkgs/applications/science/logic/prover9: initial version 
svn path=/nixpkgs/trunk/; revision=23446
 2010-08-26 11:37:05 +00:00
Peter Simons
d25c8b5882 pkgs/top-level/all-packages.nix: stripped trailing whitespace 
svn path=/nixpkgs/trunk/; revision=23444
 2010-08-26 09:45:10 +00:00
Peter Simons
f79ba3cde3 pkgs/top-level/all-packages.nix: don't use getPkgConfig to configure Doxygen; use override instead 
svn path=/nixpkgs/trunk/; revision=23443
 2010-08-26 09:44:53 +00:00
Peter Simons
a51fc5c66d pkgs/development/tools/documentation/doxygen: strip trailing whitespace 
svn path=/nixpkgs/trunk/; revision=23442
 2010-08-26 09:44:23 +00:00
Peter Simons
40c02f3cd6 pkgs/development/tools/documentation/doxygen: updated to version 1.7.1 
svn path=/nixpkgs/trunk/; revision=23441
 2010-08-26 09:43:30 +00:00
Peter Simons
9f26d6e101 pkgs/development/tools/documentation/doxygen: updated meta section for Hydra 
Build doxygen on all Unix'ish platforms.

svn path=/nixpkgs/trunk/; revision=23440
 2010-08-26 09:42:40 +00:00
Peter Simons
0b8f30aa8f pkgs/tools/admin/tightvnc/builder.sh: drop trailing whitespace 
svn path=/nixpkgs/trunk/; revision=23439
 2010-08-26 09:42:05 +00:00
Peter Simons
7b9b8f9e2e pkgs/tools/admin/tightvnc/default.nix: added meta section (plus various cosmetic changes) 
svn path=/nixpkgs/trunk/; revision=23438
 2010-08-26 09:41:22 +00:00
Peter Simons
d343d907a9 pkgs/tools/admin/tightvnc/builder.sh: install java classes to $out/share/tightvnc rather than $out/vnc 
svn path=/nixpkgs/trunk/; revision=23437
 2010-08-26 09:39:32 +00:00
Michael Raskin
4f6c18925d Fix installation for updated E prover release 
svn path=/nixpkgs/trunk/; revision=23435
 2010-08-26 04:34:20 +00:00
Michael Raskin
05c7e81eaa Move E prover to applications/science/logic 
svn path=/nixpkgs/trunk/; revision=23434
 2010-08-25 22:38:11 +00:00
Michael Raskin
091be03f65 Update E prover 
svn path=/nixpkgs/trunk/; revision=23433
 2010-08-25 22:23:55 +00:00
Eelco Dolstra
412bd09ec1 * OpenSSH 5.6. 
svn path=/nixpkgs/trunk/; revision=23432
 2010-08-25 21:12:36 +00:00
Peter Simons
970b3402e9 pkgs/applications/science/logic/hol: initial version 
svn path=/nixpkgs/trunk/; revision=23430
 2010-08-25 19:50:24 +00:00
Michael Raskin
9570117dc4 Make TeXLive-linkdir skip not try to wrap directories in libexec 
svn path=/nixpkgs/trunk/; revision=23429
 2010-08-25 19:31:23 +00:00
Rob Vermaas
9fa88c5291 added libxpdf and pdf2xml 
svn path=/nixpkgs/trunk/; revision=23427
 2010-08-25 14:25:51 +00:00
Andres Löh
907b921c61 Applied (with edits) the patch provided by James Cook to add the 
Haskell fingertree library. Thanks for the contribution.

svn path=/nixpkgs/trunk/; revision=23424
 2010-08-25 13:08:32 +00:00
Ludovic Courtès
821c95173f libuuid: Add static cross-build for GNU/Hurd. 
svn path=/nixpkgs/trunk/; revision=23419
 2010-08-25 12:49:54 +00:00
Ludovic Courtès
a806414146 libuuid: Make cross-buildable for GNU/Hurd (needed by GNU Parted). 
svn path=/nixpkgs/trunk/; revision=23415
 2010-08-25 08:57:10 +00:00
Lluís Batlle i Rossell
02e4b5ffa4 Adding another nvidia legacy driver. (they have one more, '71'). 
I use their major numbers to distinguish.
They seem to do so in http://www.nvidia.com/object/unix.html .

svn path=/nixpkgs/trunk/; revision=23411
 2010-08-24 21:56:47 +00:00
Lluís Batlle i Rossell
4ecebb6465 Updating xmoto 
svn path=/nixpkgs/trunk/; revision=23409
 2010-08-24 19:59:06 +00:00
Lluís Batlle i Rossell
03ccbe3f78 Adding a more-or-less working 'egoboo'. I'll update to a better expression after some 
egoboo upstream work.

svn path=/nixpkgs/trunk/; revision=23408
 2010-08-24 19:36:42 +00:00
Lluís Batlle i Rossell
66b325ebbd Revert "Updating kipi-plugins" 
I did not mean this to go upstream. This simple change was not enough.

svn path=/nixpkgs/trunk/; revision=23406
 2010-08-24 18:12:43 +00:00
Lluís Batlle i Rossell
62f191bf6f Updating kipi-plugins 
svn path=/nixpkgs/trunk/; revision=23405
 2010-08-24 17:40:40 +00:00
Lluís Batlle i Rossell
d5d2458003 Fixing the nvidia legacy driver builder. The legacy driver needs the old builder script. 
svn path=/nixpkgs/trunk/; revision=23404
 2010-08-24 17:40:00 +00:00
Lluís Batlle i Rossell
232ee1bd17 Updating nvidia legacy drivers 
svn path=/nixpkgs/trunk/; revision=23403
 2010-08-24 17:37:12 +00:00