philipp/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Activity
%!d() commits 3 branches 0 tags 1.4 GiB
Commit graph

11930 commits

Author SHA1 Message Date
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
Yury G. Kudryashov 25de2c279b Split libcap package 
libcap can be splitted for free (just cd subdir; make install).
So I've decided not to raise up disscussions "should we build cap_pam.so?" etc.

svn path=/nixpkgs/branches/stdenv-updates/; revision=23967
 2010-09-27 13:49:13 +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 c911c64f9b libcap: with pam, just set prefix and lib 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23960
 2010-09-27 08:48: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 2221432acd Fixing one missed trouble coming from the merge from trunk 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23841
 2010-09-17 19:14:47 +00:00
Lluís Batlle i Rossell 2c5de61327 Updating from trunk. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=23840
 2010-09-17 19:10:21 +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
Lluís Batlle i Rossell 28841f686c Fixing the fuloong kernel, which had a SYSFS_DEPRECATED_V2 enabled. That made udev 
work bad, the main simptom being the lack of /dev/hda*.

I also added the IP_PNP DHCP and BOOTP methods, which may be confortable in nfsroot situations.

svn path=/nixpkgs/branches/stdenv-updates/; revision=23827
 2010-09-16 19:32:13 +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