Commit graph

11924 commits

Author SHA1 Message Date
Russell O'Connor
5763650f45 adding roconnor to maintainers.
svn path=/nixpkgs/trunk/; revision=24039
2010-10-04 01:22:27 +00:00
Russell O'Connor
e99b3198fa Make pulseaudio support in phonon configurable.
svn path=/nixpkgs/trunk/; revision=24027
2010-10-02 23:12:59 +00:00
Yury G. Kudryashov
cd73464fdf Mention UIs in cmake.name
svn path=/nixpkgs/trunk/; revision=24026
2010-10-02 05:24:39 +00:00
Yury G. Kudryashov
325a0370a7 poppler-data-0.4.3
svn path=/nixpkgs/trunk/; revision=24025
2010-10-02 05:24:33 +00:00
Yury G. Kudryashov
23bd704530 qt-4.7.0
svn path=/nixpkgs/trunk/; revision=24024
2010-10-02 05:24:27 +00:00
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