alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity
13628 commits 217 branches 116 tags 4 GiB
Commit graph

2628 commits

Author SHA1 Message Date
Eelco Dolstra 90f485f268 * MPlayer updated to the latest SVN snapshot. 
* MPlayer: add VDPAU support.

svn path=/nixpkgs/branches/stdenv-updates/; revision=25297
 2010-12-27 18:48:16 +00:00
Marco Maggesi 51d6c8df91 * Handle variable createFindlibDestdir correctly in ocaml-findlib 
* Fix HOL Light derivation

svn path=/nixpkgs/trunk/; revision=25269
 2010-12-23 19:28:06 +00:00
Eelco Dolstra 4837b70d27 * Restore MPlayer's default font. This got lost somewhere. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25260
 2010-12-23 17:07:07 +00:00
Armijn Hemel ce6b26042d update to 2.7.8 
svn path=/nixpkgs/trunk/; revision=25257
 2010-12-23 13:56:04 +00:00
Eelco Dolstra 770ca317ba * Get Xen to build with GCC 4.5 and Glibc 2.12. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25247
 2010-12-22 19:38:26 +00:00
Eelco Dolstra c14382cb45 * Sync with the trunk. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25225
 2010-12-21 15:14:33 +00:00
Michael Raskin 955f9c19a6 Update Veracity 
svn path=/nixpkgs/trunk/; revision=25218
 2010-12-21 05:21:54 +00:00
Evgeny Egorochkin 9b4c2f5f56 Emacs PHP mode: packaged. Patch by Karn Kallio. 
svn path=/nixpkgs/trunk/; revision=25216
 2010-12-21 04:40:38 +00:00
Eelco Dolstra f0b62c77a9 * Adobe Reader 9.4. 
svn path=/nixpkgs/trunk/; revision=25208
 2010-12-20 12:14:58 +00:00
Marco Maggesi e7accaf8d3 * Update camlp5 
svn path=/nixpkgs/trunk/; revision=25206
 2010-12-20 10:32:22 +00:00
Lluís Batlle i Rossell 22253677b3 Merging from trunk. The previous merge took the firefox 3.6 in a bad state. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25202
 2010-12-19 20:12:10 +00:00
Karn Kallio c04f8e236c Bump kmplayer to latest release 0.11.2.c 
This also fixes build failure related to docbook versions.

svn path=/nixpkgs/trunk/; revision=25190
 2010-12-17 23:18:21 +00:00
Lluís Batlle i Rossell b48b2a7bb4 Merging from trunk. I solved some trivial merge conflicts. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25188
 2010-12-17 20:39:58 +00:00
Karn Kallio a3947a1605 Finish removing all patches. 
svn path=/nixpkgs/trunk/; revision=25187
 2010-12-17 20:34:29 +00:00
Karn Kallio a6f1f87697 Upstream reports bug has been fixed 
https://bugzilla.mozilla.org/show_bug.cgi?id=551152
and the patch did not cleanly apply.

svn path=/nixpkgs/trunk/; revision=25186
 2010-12-17 20:28:51 +00:00
Ludovic Courtès e60ba9135a SimGrid 3.5. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25180
 2010-12-17 17:48:12 +00:00
Eelco Dolstra 24dd283b0a * Firefox 3.6.13. 
svn path=/nixpkgs/trunk/; revision=25170
 2010-12-17 11:44:18 +00:00
Russell O'Connor 83e25f83c8 Patch Inkscape to support PDF importing. 
svn path=/nixpkgs/trunk/; revision=25151
 2010-12-15 15:56:04 +00:00
Lluís Batlle i Rossell 99831841f0 Updating the urls where to get nvi from. The previous did not work anymore. 
I took some from the list provided by:
http://dir.filewatcher.com/d/Perl-CPAN/misc/nvi-1.79.tar.gz.1295401.html

svn path=/nixpkgs/trunk/; revision=25140
 2010-12-15 09:39:30 +00:00
Michael Raskin da5fd5c100 Fix Opera update 
svn path=/nixpkgs/trunk/; revision=25134
 2010-12-14 20:32:49 +00:00
Michael Raskin 24640ac0ec Update Opera 
svn path=/nixpkgs/trunk/; revision=25130
 2010-12-14 15:56:22 +00:00
Lluís Batlle i Rossell 7ea75b3bcf Updating fossil 
svn path=/nixpkgs/trunk/; revision=25112
 2010-12-14 07:58:34 +00:00
Michael Raskin f229a3df60 Updating Veracity 
svn path=/nixpkgs/trunk/; revision=25105
 2010-12-13 19:14:45 +00:00
Ludovic Courtès 8416f47e26 GNU Zile 2.3.21. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25075
 2010-12-12 20:19:03 +00:00
Lluís Batlle i Rossell 0fe27433af 'tar' fails at unpacking adobe files, but the files get unpacked. 
I simply disable the check for tar error codes.


svn path=/nixpkgs/branches/stdenv-updates/; revision=25067
 2010-12-12 08:47:13 +00:00
Lluís Batlle i Rossell a000072893 Adding evopedia. Contributed by Joachim Schiele. 
svn path=/nixpkgs/trunk/; revision=25066
 2010-12-11 22:04:13 +00:00
Lluís Batlle i Rossell ee04ffcb55 Updating from trunk. I resolved simple conflicts. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25061
 2010-12-11 12:47:00 +00:00
Peter Simons d1d201f11e subversion: don't specify both --disable-keychain and --enable-keychain 
svn path=/nixpkgs/trunk/; revision=25008
 2010-12-06 18:01:22 +00:00
Yury G. Kudryashov 292db979cb Be more verbose 
svn path=/nixpkgs/trunk/; revision=24997
 2010-12-06 12:04:42 +00:00
Michael Raskin 07dd3f074b Adding MiniSAT 
svn path=/nixpkgs/trunk/; revision=24984
 2010-12-05 19:54:27 +00:00
Michael Raskin 011d71dcb8 Adding PARI/GP 
svn path=/nixpkgs/trunk/; revision=24983
 2010-12-05 19:11:21 +00:00
Michael Raskin 7768fa0178 Fix installation layout 
svn path=/nixpkgs/trunk/; revision=24982
 2010-12-05 19:08:32 +00:00
Michael Raskin 5cb3f8b659 Missing Singular files 
svn path=/nixpkgs/trunk/; revision=24981
 2010-12-05 18:37:47 +00:00
Michael Raskin 6b8abaa29e Adding OpenSMT 
svn path=/nixpkgs/trunk/; revision=24978
 2010-12-05 18:22:14 +00:00
Michael Raskin a9f70d542d Adding CVC3 satisfiability modulo theory (SMT) solver 
svn path=/nixpkgs/trunk/; revision=24975
 2010-12-05 17:28:41 +00:00
Michael Raskin 44ac8c5ea1 Adding iProver 
svn path=/nixpkgs/trunk/; revision=24969
 2010-12-04 18:39:44 +00:00
Michael Raskin 86e44e72bf Adding SPASS 
svn path=/nixpkgs/trunk/; revision=24967
 2010-12-04 11:43:01 +00:00
Michael Raskin 64ed7e705d Adding Satallax prover 
svn path=/nixpkgs/trunk/; revision=24963
 2010-12-03 11:26:34 +00:00
Michael Raskin c32bd62956 Adding LEO2 automated higher-order prover 
svn path=/nixpkgs/trunk/; revision=24952
 2010-12-01 21:29:42 +00:00
Michael Raskin 373fabf1c0 Fix settings patch for Isabelle 
svn path=/nixpkgs/trunk/; revision=24951
 2010-12-01 21:29:20 +00:00
Michael Raskin b89881d098 Update Isabelle 
svn path=/nixpkgs/trunk/; revision=24950
 2010-12-01 21:25:21 +00:00
Michael Raskin 77672ac3a4 update muPDF 
svn path=/nixpkgs/trunk/; revision=24945
 2010-12-01 11:03:52 +00:00
Eelco Dolstra 86d51032cc * Sync. 
svn path=/nixpkgs/branches/cve-2010-3856/; revision=24936
 2010-11-30 11:39:53 +00:00
Lluís Batlle i Rossell d71ad68d43 Fixing the verilog URL (contributed by Antonio Vargas) 
svn path=/nixpkgs/trunk/; revision=24935
 2010-11-30 11:24:12 +00:00
Lluís Batlle i Rossell ab6627ac0e Fix for the verilog package, from Antonio Vargas Gonzalez 
svn path=/nixpkgs/trunk/; revision=24934
 2010-11-30 11:23:36 +00:00
Lluís Batlle i Rossell ebe1ebaba8 Adding a stdenv version of links2, to be able to cross-build it. This can be removed once 
builderDefs can be made to support the stdenvCross adapter


svn path=/nixpkgs/branches/stdenv-updates/; revision=24927
 2010-11-29 18:03:03 +00:00
Karn Kallio 76f6893e6a Update version of MySQL Workbench to 5.2.30 
svn path=/nixpkgs/trunk/; revision=24924
 2010-11-29 17:34:08 +00:00
Eelco Dolstra 009bfb702d * Sync with the trunk. 
svn path=/nixpkgs/branches/cve-2010-3856/; revision=24921
 2010-11-29 16:03:36 +00:00
Eelco Dolstra c7e8b01323 * Subversion 1.6.15. 
svn path=/nixpkgs/trunk/; revision=24912
 2010-11-29 09:54:37 +00:00
Michael Raskin b01f33c2b8 Update gajim 
svn path=/nixpkgs/trunk/; revision=24906
 2010-11-28 13:46:32 +00:00
Evgeny Egorochkin b909a4ce76 Virtualbox guest additions: fix runtime dep on which. Patch by Rohan Hart. 
svn path=/nixpkgs/trunk/; revision=24903
 2010-11-28 10:14:07 +00:00
Evgeny Egorochkin 51492e5533 openbox: packaged. Patch by rixed@happyleptic.org. 
svn path=/nixpkgs/trunk/; revision=24902
 2010-11-28 10:07:49 +00:00
Evgeny Egorochkin 4d715b2e53 kmplayer: version bump 
svn path=/nixpkgs/trunk/; revision=24901
 2010-11-28 10:04:41 +00:00
Evgeny Egorochkin a729c92721 Chromium: fix deps and clean up. Patch by Cillian de Róiste. 
svn path=/nixpkgs/trunk/; revision=24898
 2010-11-28 09:27:45 +00:00
Evgeny Egorochkin 5e994b9153 ekiga: fix build failure. Patch by Karn Kallio. 
svn path=/nixpkgs/trunk/; revision=24897
 2010-11-28 09:21:36 +00:00
Michael Raskin 484a795b42 Update Xneur to 0.11.1 
svn path=/nixpkgs/trunk/; revision=24889
 2010-11-27 12:59:55 +00:00
Lluís Batlle i Rossell 614c40a1e1 Adding the 'gzip' dependency to lynx (important cross-building). 
Otherwise, on a cross-built lynx, it cannot gunzip pages that came in gzip-compressed.
(It was calling the host gzip, a lynx dependency, before)


svn path=/nixpkgs/branches/stdenv-updates/; revision=24882
 2010-11-26 18:43:55 +00:00
Lluís Batlle i Rossell 0e4c970d11 Updating from trunk - I hope I fixed the conflict around gettext - I left it as 
it was before merging.


svn path=/nixpkgs/branches/stdenv-updates/; revision=24876
 2010-11-26 14:40:39 +00:00
Lluís Batlle i Rossell cbb3b6f1dc Making fossil crossbuilt (I think I meant that in a previous commiit, but I 
ended up committing something screwed up)


svn path=/nixpkgs/branches/stdenv-updates/; revision=24873
 2010-11-26 14:33:30 +00:00
Lluís Batlle i Rossell b44c4a88e8 Setting me as maintainer of qemu, and telling hydra to build it (heavy package) 
svn path=/nixpkgs/trunk/; revision=24861
 2010-11-25 22:01:24 +00:00
Lluís Batlle i Rossell 4018d18e96 Committing patch adding verilog from Antonio Vargas Gonzalez 
From his original, I adapted some spacing, and removed the release.nix reference
(superfluous having set meta.platforms)

svn path=/nixpkgs/trunk/; revision=24860
 2010-11-25 22:01:14 +00:00
Sander van der Burg 2549fea1bb Upgraded pidgin to version 2.7.7 
svn path=/nixpkgs/trunk/; revision=24844
 2010-11-24 21:58:52 +00:00
Michael Raskin 31b22ed108 Merge from trunk 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24820
 2010-11-23 08:57:29 +00:00
Michael Raskin 3c452363ce Use a patch to fix make 3.82 build of Coq 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24817
 2010-11-23 05:54:58 +00:00
Peter Simons eb7e848f4b subversion: enable key-chain services on Darwin to fix pysvn build 
svn path=/nixpkgs/trunk/; revision=24805
 2010-11-22 12:01:45 +00:00
Michael Raskin 6af8a1debd Merging from trunk 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24804
 2010-11-22 11:39:42 +00:00
Michael Raskin ea00506f53 Update mupdf 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24786
 2010-11-20 21:01:18 +00:00
Michael Raskin 7195b61a31 Update Wireshark 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24785
 2010-11-20 20:51:29 +00:00
Lluís Batlle i Rossell 79c06ac912 Updating qemu 
svn path=/nixpkgs/trunk/; revision=24784
 2010-11-20 14:48:23 +00:00
Evgeny Egorochkin 65b669feb8 VirtualBox: fix i686 compilation 
svn path=/nixpkgs/trunk/; revision=24783
 2010-11-20 10:41:53 +00:00
Lluís Batlle i Rossell 331f7efbf5 Updating the fossil license (they changed it to BSD some months ago) 
svn path=/nixpkgs/trunk/; revision=24782
 2010-11-19 23:10:49 +00:00
Lluís Batlle i Rossell 25423cc546 Making hydra build fossil 
svn path=/nixpkgs/trunk/; revision=24781
 2010-11-19 23:10:45 +00:00
Lluís Batlle i Rossell 0d38f21c73 Making the fossil build do the check phase. 
svn path=/nixpkgs/trunk/; revision=24780
 2010-11-19 23:10:41 +00:00
Rob Vermaas db8748b170 added eclipse 3.6.1, maven3, szip 
svn path=/nixpkgs/trunk/; revision=24772
 2010-11-19 13:24:11 +00:00
Lluís Batlle i Rossell 5062aa0be0 Updating fossil. 
svn path=/nixpkgs/trunk/; revision=24769
 2010-11-19 13:03:35 +00:00
Michael Raskin 9d124b1c70 Fix DrGeo build 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24762
 2010-11-19 04:07:34 +00:00
Michael Raskin fb58f74d82 Updating from trunk again 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24745
 2010-11-17 17:03:09 +00:00
Evgeny Egorochkin 61e9a549f6 cmus: packaged. Patch by Paul van der Walt <nix@denknerd.nl>. 
svn path=/nixpkgs/trunk/; revision=24739
 2010-11-17 15:20:57 +00:00
Peter Simons 63f114c3dd This patch adds the cmus console music player. 
svn path=/nixpkgs/trunk/; revision=24738
 2010-11-17 15:03:12 +00:00
Andres Löh ad9d05d909 Version bump for leksah (plus dependencies). Now works with ghc-6.12.3. 
svn path=/nixpkgs/trunk/; revision=24737
 2010-11-17 14:48:12 +00:00
Ludovic Courtès ad1c12d756 Aumix: Update the tarball URL. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24724
 2010-11-17 10:42:57 +00:00
Ludovic Courtès 8729f86924 qtpfsgui: Use fftw3 single-precision. 
Thanks to Lluís Batlle!

svn path=/nixpkgs/branches/stdenv-updates/; revision=24723
 2010-11-17 10:42:53 +00:00
Michael Raskin 2d574a718a Mike Firefox 4.0 beta 7 build 
svn path=/nixpkgs/trunk/; revision=24719
 2010-11-17 09:34:21 +00:00
Michael Raskin bbcc101bce Work around -lpthread dependencies 
svn path=/nixpkgs/trunk/; revision=24718
 2010-11-17 08:59:10 +00:00
Michael Raskin e59ddf7bcb Update Cairo, Pixman; update FF4beta - still broken, cannot pass fresh cairo correctly to it yet 
svn path=/nixpkgs/trunk/; revision=24714
 2010-11-16 21:05:54 +00:00
Andres Löh 2482ad5215 darcs version-bumped to 2.5 
svn path=/nixpkgs/trunk/; revision=24710
 2010-11-16 13:14:50 +00:00
Eelco Dolstra 1761d5a53a * Latest Firefox, Thunderbird. 
svn path=/nixpkgs/trunk/; revision=24708
 2010-11-16 12:37:28 +00:00
Lluís Batlle i Rossell b9c159416c Adding keepnote 
svn path=/nixpkgs/trunk/; revision=24695
 2010-11-15 19:44:53 +00:00
Lluís Batlle i Rossell 5d090f37a0 Updating the putty hash of the svn rev. Somehow it gives now a different hash of what there was. 
I don't understand why. Maybe I had committed a broken hash from the very beginning.

svn path=/nixpkgs/trunk/; revision=24694
 2010-11-15 19:44:40 +00:00
Michael Raskin 2c4ed8b7ce Add new dependencies 
svn path=/nixpkgs/trunk/; revision=24691
 2010-11-15 12:39:50 +00:00
Michael Raskin 48c24ab774 Update Veracity 
svn path=/nixpkgs/trunk/; revision=24690
 2010-11-15 12:10:26 +00:00
Michael Raskin 3bc0867f36 Update XScreenSaver 
svn path=/nixpkgs/trunk/; revision=24685
 2010-11-14 18:55:09 +00:00
Ludovic Courtès 10306f1b4c libpano13 2.9.17. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24680
 2010-11-12 22:02:08 +00:00
Russell O'Connor 4018b1dd39 updating flashplayer 
svn path=/nixpkgs/trunk/; revision=24678
 2010-11-12 18:58:24 +00:00
Lluís Batlle i Rossell 8746de3ae8 Updating from trunk. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24674
 2010-11-11 22:18:14 +00:00
Lluís Batlle i Rossell bca9914534 Blindly updating go-oo. As it has always been, not that they announced anything in their web. 
I imagined the latest tarball name from the tags I saw in
http://cgit.freedesktop.org/libreoffice/build/log/?h=ooo-build-3-2-1
OOO_BUILD_3_2_1_6

svn path=/nixpkgs/trunk/; revision=24672
 2010-11-11 22:16:35 +00:00
Ludovic Courtès 08d9437bce Quack 0.39. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24670
 2010-11-11 22:12:02 +00:00
Ludovic Courtès f8a04b6a20 OpenOffice.org: Fix `postPatch'. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24655
 2010-11-11 11:02:44 +00:00
Ludovic Courtès cadb827ec2 OpenOffice.org: Fix typo. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24654
 2010-11-10 22:43:45 +00:00
Ludovic Courtès 4b6e0f0846 OpenOffice.org: Force compilation with GCC 4.5. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24652
 2010-11-10 21:37:16 +00:00
Lluís Batlle i Rossell 8d1e116069 Updating paraview 
svn path=/nixpkgs/trunk/; revision=24651
 2010-11-10 18:13:04 +00:00
Lluís Batlle i Rossell 01b6395203 Making inkscape not install any icon cache 
svn path=/nixpkgs/trunk/; revision=24650
 2010-11-10 18:13:00 +00:00
Lluís Batlle i Rossell 8ed1a21f2c Updating inkscape 
svn path=/nixpkgs/trunk/; revision=24646
 2010-11-10 16:48:13 +00:00
Ludovic Courtès 1410156f2a OpenOffice.org 3.2.1. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24644
 2010-11-10 16:22:29 +00:00
Michael Raskin 7905af1137 Update monotone-viz 
svn path=/nixpkgs/trunk/; revision=24642
 2010-11-10 16:09:30 +00:00
Michael Raskin 91afbd159a Update gosmore 
svn path=/nixpkgs/trunk/; revision=24640
 2010-11-10 14:57:38 +00:00
Ludovic Courtès 824e7af179 Aumix 2.9.1. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24635
 2010-11-10 09:16:48 +00:00
Lluís Batlle i Rossell a26788440d Updating gtkpod to their 1.0 
svn path=/nixpkgs/trunk/; revision=24633
 2010-11-09 20:14:30 +00:00
Peter Simons e48bf66bf2 rcs: fixed build error introduced in my last commit 
This package's configure script is too old to support "--mandir". Instead, the
default settings have to be overridden on the make command-line.

svn path=/nixpkgs/trunk/; revision=24620
 2010-11-08 17:56:45 +00:00
Lluís Batlle i Rossell ab8ea7ab68 Updating pinta to 0.5 
svn path=/nixpkgs/trunk/; revision=24615
 2010-11-07 21:27:06 +00:00
Peter Simons 7c07c5aae2 pkgs/applications/version-management/rcs: fixed location of "info" and "man" directories 
svn path=/nixpkgs/trunk/; revision=24607
 2010-11-05 14:46:13 +00:00
Peter Simons 9c6acea563 pkgs/applications/misc/xpdf: fixed location of "info" and "man" directories 
svn path=/nixpkgs/trunk/; revision=24606
 2010-11-05 14:41:19 +00:00
Peter Simons a09b681e3e pkgs/applications/science/math/maxima: fixed location of "info" and "man" directories 
svn path=/nixpkgs/trunk/; revision=24605
 2010-11-05 14:35:37 +00:00
Peter Simons a33ddc8047 pkgs/applications/version-management/cvs: fixed location of "info" and "man" directories 
svn path=/nixpkgs/trunk/; revision=24603
 2010-11-05 14:35:22 +00:00
Peter Simons 5b009db20e Updated Git to version 1.7.3.2. 
svn path=/nixpkgs/trunk/; revision=24600
 2010-11-05 11:45:16 +00:00
Rob Vermaas a4ab931719 applied patch by Cillian de Róiste 
svn path=/nixpkgs/trunk/; revision=24598
 2010-11-04 12:09:40 +00:00
Marco Maggesi 0430167083 Update Coq 
svn path=/nixpkgs/trunk/; revision=24597
 2010-11-04 11:24:27 +00:00
Michael Raskin eb2a953bc3 Fix missing descriptions 
svn path=/nixpkgs/trunk/; revision=24596
 2010-11-04 10:47:24 +00:00
Michael Raskin 2db7a9dfbd Add stalonetray 
svn path=/nixpkgs/trunk/; revision=24595
 2010-11-04 08:28:24 +00:00
Marco Maggesi 078587a846 Update HOL Light 
svn path=/nixpkgs/trunk/; revision=24591
 2010-11-03 22:20:05 +00:00
Michael Raskin 11616a2213 Update fbpanel 
svn path=/nixpkgs/trunk/; revision=24589
 2010-11-03 21:57:42 +00:00
Piotr Pietraszkiewicz be71209dd3 added bibletime - a Bible study tool 
svn path=/nixpkgs/trunk/; revision=24587
 2010-11-03 20:42:26 +00:00
Armijn Hemel b247c239e5 update to 2.7.5 
svn path=/nixpkgs/trunk/; revision=24584
 2010-11-03 14:03:53 +00:00
Michael Raskin 6a09974e0f Update Guitone 
svn path=/nixpkgs/trunk/; revision=24580
 2010-11-02 19:19:25 +00:00
Lluís Batlle i Rossell 9ff0622848 Kdesvn fixed. At the end it was a wrong docbook type only in one of the docbook 
files there. The other was fine, and kept me confused for long.

svn path=/nixpkgs/trunk/; revision=24571
 2010-11-02 13:35:28 +00:00
Lluís Batlle i Rossell 5e5ce5a987 Updating kdesvn. It still does not build to some docbook problems I don't know how to solve, related to kde 4.5 I guess. 
It runs some /nix/store/wlbri8r6fzavvq554bm04666aphhkxxr-kdelibs-4.5.2/bin/meinproc4 --check --cache /tmp/nix-build-rjcm9mri08cpbvh7gcjcvra2iqzn20ch-kdesvn-1.5.5.drv-0/kdesvn-1.5.5/build/doc/nl/index.cache.bz2 /tmp/nix-build-rjcm9mri08cpbvh7gcjcvra2iqzn20ch-kdesvn-1.5.5.drv-0/kdesvn-1.5.5/doc/nl/index.docbook

and this fails.

svn path=/nixpkgs/trunk/; revision=24569
 2010-11-02 13:24:08 +00:00
Lluís Batlle i Rossell 548e313d02 Updating fossil 
svn path=/nixpkgs/trunk/; revision=24568
 2010-11-02 13:24:04 +00:00
Lluís Batlle i Rossell 00d1d949d7 Updating kdenlive (and mlt as a requirement) 
svn path=/nixpkgs/trunk/; revision=24567
 2010-11-02 13:23:59 +00:00
Yury G. Kudryashov 3baea16bc6 Add guitone. 
It compiles. Haven't checked whether it works.

svn path=/nixpkgs/trunk/; revision=24566
 2010-11-02 12:23:01 +00:00
Yury G. Kudryashov 24d011bfbc monotone-0.99.1, less hacky way to get perl version 
svn path=/nixpkgs/trunk/; revision=24565
 2010-11-02 11:20:24 +00:00
Andres Löh 527d64b664 darcs should propagate its Haskell dependencies 
since it can be used as a library

svn path=/nixpkgs/trunk/; revision=24558
 2010-11-01 16:37:46 +00:00
Lluís Batlle i Rossell f4f84af4ab Updating from trunk. I only had to take away the usual stdenv2 in 
all-packages.nix


svn path=/nixpkgs/branches/stdenv-updates/; revision=24553
 2010-10-31 19:30:31 +00:00
Ludovic Courtès 94d5ee9410 GNU TeXmacs 1.0.7.6. 
svn path=/nixpkgs/trunk/; revision=24546
 2010-10-30 21:44:16 +00:00
Michael Raskin c955a570a2 Update Monotone 
svn path=/nixpkgs/trunk/; revision=24535
 2010-10-29 19:52:15 +00:00
Michael Raskin e10f65d674 Update Veracity 
svn path=/nixpkgs/trunk/; revision=24533
 2010-10-29 18:31:25 +00:00
Peter Simons 1caab7cc92 subversion: enable parallel building 
svn path=/nixpkgs/trunk/; revision=24527
 2010-10-29 14:46:18 +00:00
Eelco Dolstra 8aa38f953c * Get Teamspeak 3 to work. This is the x86_64-linux build, I'll add 
i686-linux later.

svn path=/nixpkgs/trunk/; revision=24516
 2010-10-28 17:45:18 +00:00
Peter Simons e6bd263b4f Advance version of Imagemagick to 6.6.5-4 . 
Always include the --with-frozenpaths configure flag ( independently of tetex ).
Include the --with-rsvg configure flag when librsvg is not null.

svn path=/nixpkgs/trunk/; revision=24509
 2010-10-28 08:46:13 +00:00
Peter Simons 2cc3847cd4 pkgs/applications/version-management/git-and-tools: updated topgit to version 0.8-32-g8b0f1f9 
svn path=/nixpkgs/trunk/; revision=24487
 2010-10-26 12:08:49 +00:00
Evgeny Egorochkin 35dc7d6f3c paramiko: fix chroot build: use pycrypto from Nixpkgs instead of getting it from the network. 
mysql-workbench: minor cleanup.
Patch by Karn Kallio.

svn path=/nixpkgs/trunk/; revision=24482
 2010-10-26 01:42:22 +00:00
Evgeny Egorochkin ee8d2ccc40 mysql-workbench: version bump 
svn path=/nixpkgs/trunk/; revision=24481
 2010-10-26 01:38:28 +00:00
Evgeny Egorochkin 19e0cda8d8 Fix names of packages. Patch by Karn Kallio. 
svn path=/nixpkgs/trunk/; revision=24478
 2010-10-26 00:22:44 +00:00
Lluís Batlle i Rossell d6f4a6d968 Updating eaglemode. 
svn path=/nixpkgs/trunk/; revision=24456
 2010-10-24 21:27:31 +00:00
Lluís Batlle i Rossell 0cb7f90cac Adding caneda 
svn path=/nixpkgs/trunk/; revision=24450
 2010-10-24 17:01:09 +00:00
Lluís Batlle i Rossell 227c632d18 Adding qucs 
svn path=/nixpkgs/trunk/; revision=24449
 2010-10-24 17:00:57 +00:00
Peter Simons c7756e473b pkgs/applications/version-management/git-and-tools: prefer fetchurl over fetchgit in topGit 
svn path=/nixpkgs/trunk/; revision=24442
 2010-10-23 22:39:53 +00:00
Michael Raskin 65ec046a15 Fix uzbl build 
svn path=/nixpkgs/trunk/; revision=24440
 2010-10-23 20:54:07 +00:00
Michael Raskin ba662a84e7 Update Monotone 
svn path=/nixpkgs/trunk/; revision=24431
 2010-10-23 15:28:18 +00:00
Lluís Batlle i Rossell 6dc839d344 Merging from trunk. I resolved some conflicts; I hope that well. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24429
 2010-10-23 14:52:21 +00:00
Evgeny Egorochkin 6951e2ad05 Konq-plugins: forgot the patch :( 
svn path=/nixpkgs/trunk/; revision=24426
 2010-10-22 19:47:23 +00:00
Armijn Hemel 9992ba5e3f update to 2.7.4 
svn path=/nixpkgs/trunk/; revision=24424
 2010-10-22 16:06:32 +00:00
Evgeny Egorochkin fbbcd05f4d konq-plugins: fix compilation against qt 4.7 
svn path=/nixpkgs/trunk/; revision=24419
 2010-10-22 14:40:19 +00:00
Eelco Dolstra 2677562f8c * Remove Compiz Fusion (obsolete). 
svn path=/nixpkgs/trunk/; revision=24414
 2010-10-22 11:00:02 +00:00
Eelco Dolstra 92d36afe96 * Firefox 3.6.11. 
svn path=/nixpkgs/trunk/; revision=24399
 2010-10-21 11:29:35 +00:00
Eelco Dolstra 3ac4025945 * Add some packages to the channel. 
svn path=/nixpkgs/trunk/; revision=24397
 2010-10-21 11:18:30 +00:00
Eelco Dolstra 23914238d1 * compiz-plugins-extra: Wrote a patch to add "centered maxpect" 
scaling mode for background images (as in KDE), i.e., scale the
  image to the maximum size while preserving its aspect ratio.

svn path=/nixpkgs/trunk/; revision=24394
 2010-10-20 23:16:51 +00:00
Michael Raskin 40dd3ccf7b Update Veracity. 0.3 series got replaced with 0.5 series. 
svn path=/nixpkgs/trunk/; revision=24375
 2010-10-20 05:44:22 +00:00
Eelco Dolstra f58a799695 * Updated Compiz to 0.8.6 (replacing the old Compiz and Compiz Fusion 
expressions).  Also added patches to allow Compiz and ccsm to find
  plugins installed outside of its prefix.

svn path=/nixpkgs/trunk/; revision=24373
 2010-10-19 23:22:24 +00:00
Peter Simons f1af21e633 pkgs/applications/version-management/subversion: don't install broken vc-svn.el module 
This file is part of Emacs already, and unlike the file shipped by Subversion,
the one distributed in Emacs actually works.

svn path=/nixpkgs/trunk/; revision=24369
 2010-10-19 17:27:31 +00:00
Ludovic Courtès 57ed005e24 GNU EMMS: Add dependency on MP3Info. 
svn path=/nixpkgs/trunk/; revision=24365
 2010-10-19 13:20:24 +00:00
Ludovic Courtès c75c5a5991 Add MP3Info, an MP3 tag editor. 
svn path=/nixpkgs/trunk/; revision=24363
 2010-10-19 13:19:59 +00:00
Ludovic Courtès bf006e3fd2 GNU Zile 2.3.20. 
svn path=/nixpkgs/trunk/; revision=24358
 2010-10-19 08:09:35 +00:00
Yury G. Kudryashov 4f27541261 Advance k3b version to 2.0.1. 
Submitted by Karn Kallio

svn path=/nixpkgs/trunk/; revision=24338
 2010-10-18 09:48:32 +00:00
Evgeny Egorochkin d07b1b33a5 Googleearth: Add missing dependency 
svn path=/nixpkgs/trunk/; revision=24317
 2010-10-16 13:11:06 +00:00
Evgeny Egorochkin fedae8382f Arora: version bump 
svn path=/nixpkgs/trunk/; revision=24314
 2010-10-15 23:43:21 +00:00
Evgeny Egorochkin ebbbb77e6c Google-earth: version bump 
svn path=/nixpkgs/trunk/; revision=24308
 2010-10-15 20:06:28 +00:00
Michael Raskin 216ae9feba Fix some old typos 
svn path=/nixpkgs/trunk/; revision=24281
 2010-10-14 12:01:03 +00:00
Michael Raskin 686802b8e1 Update XNeur 
svn path=/nixpkgs/trunk/; revision=24275
 2010-10-14 11:49:07 +00:00
Yury G. Kudryashov 1bda7748da Fix digikam buld 
svn path=/nixpkgs/trunk/; revision=24270
 2010-10-14 09:52:10 +00:00
Michael Raskin e82053ac94 Fix XawTV build 
svn path=/nixpkgs/trunk/; revision=24267
 2010-10-13 15:48:37 +00:00
Michael Raskin a81b5af5ee Add more buildInputs useful for FF4.0. This is not enough yet 
svn path=/nixpkgs/trunk/; revision=24266
 2010-10-13 13:12:43 +00:00
Michael Raskin c8161ad799 Temporary fix for Vacuum-1.0.2 with Qt-4.7 
svn path=/nixpkgs/trunk/; revision=24257
 2010-10-12 23:15:25 +00:00
Lluís Batlle i Rossell 74ae423a6a Reverting a patch I did removing this special lynx configuration I add again. 
Otherwise, lynx really does not build with widechar support.


svn path=/nixpkgs/branches/stdenv-updates/; revision=24251
 2010-10-12 20:57:02 +00:00
Lluís Batlle i Rossell 57df19fe85 utf-8 was not working in cross-built ncurses programs due to some old problem 
cross-building ncursesw not present anymore. I reenable unicode cross-building.


svn path=/nixpkgs/branches/stdenv-updates/; revision=24245
 2010-10-12 19:06:04 +00:00
Lluís Batlle i Rossell 46201622cb Making vim73 cross-build (it needs a patch) 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24243
 2010-10-12 18:33:02 +00:00
Lluís Batlle i Rossell 3c29a00612 Making lynx cross-build with widechar support 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24242
 2010-10-12 18:31:11 +00:00
Rob Vermaas ee7826f71f update chromium 
svn path=/nixpkgs/trunk/; revision=24237
 2010-10-12 08:09:57 +00:00
Yury G. Kudryashov 63d252baa1 digikam: find marble widget 
svn path=/nixpkgs/trunk/; revision=24235
 2010-10-12 07:49:24 +00:00
Yury G. Kudryashov 1c95704fa1 rekonq-0.6.1 
svn path=/nixpkgs/trunk/; revision=24230
 2010-10-12 05:41:13 +00:00
Yury G. Kudryashov 6aded22a4b {digikam,kipi-plugins}-1.5.0 
svn path=/nixpkgs/trunk/; revision=24225
 2010-10-11 19:59:28 +00:00
Yury G. Kudryashov 4aa443bd0f Upgrade krusader to 2.2.0-beta1. 2.0.0 fails to compile with new qt 
svn path=/nixpkgs/trunk/; revision=24223
 2010-10-11 19:59:17 +00:00
Lluís Batlle i Rossell e7e103b8eb Updating from trunk (to catch cron changes) 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24200
 2010-10-10 11:44:28 +00:00
Michael Raskin a066ee7f06 Firefox 4 requires Mesa 
svn path=/nixpkgs/trunk/; revision=24188
 2010-10-08 19:07:10 +00:00
Armijn Hemel 5068c4c822 update to 2.6.11, python problems still persist 
svn path=/nixpkgs/trunk/; revision=24187
 2010-10-08 15:38:17 +00:00
Lluís Batlle i Rossell 75d326e697 Committing the chromium patch by Cillian de Róiste 
svn path=/nixpkgs/trunk/; revision=24177
 2010-10-08 09:25:54 +00:00
Lluís Batlle i Rossell 6d4288687c Committing the flash patch by Cillian de Róiste 
svn path=/nixpkgs/trunk/; revision=24176
 2010-10-08 09:25:39 +00:00
Lluís Batlle i Rossell 11404a404f Committing the patch from Carles Pagès, which had already sent Ilya Cassina before 
svn path=/nixpkgs/trunk/; revision=24175
 2010-10-08 09:22:34 +00:00
Michael Raskin 981e71fa3e Add FF4.0 beta 6 
svn path=/nixpkgs/trunk/; revision=24172
 2010-10-08 08:28:00 +00:00
Lluís Batlle i Rossell fca582bff0 Updating from trunk. I had to resolve the pcre and some stdenv2 in all-packages 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24155
 2010-10-07 21:21:31 +00:00
Sander van der Burg c6f26ed797 Bumped VirtualBox version to 3.2.8 
svn path=/nixpkgs/trunk/; revision=24147
 2010-10-07 15:14:15 +00:00
Peter Simons c7b5ea13ea pkgs/applications/misc/xpdf: strip trailing whitespace 
svn path=/nixpkgs/trunk/; revision=24143
 2010-10-07 13:14:29 +00:00
Peter Simons 59fa834193 pkgs/applications/version-management/cvs: added meta section 
svn path=/nixpkgs/trunk/; revision=24140
 2010-10-07 13:14:17 +00:00
Peter Simons 948b839e3d pkgs/applications/misc/xpdf: added meta section 
svn path=/nixpkgs/trunk/; revision=24139
 2010-10-07 13:14:13 +00:00
Peter Simons 789c12add5 pkgs/applications/editors/emacs-modes/haskell: updated to version 2.8.0 
svn path=/nixpkgs/trunk/; revision=24136
 2010-10-07 13:14:01 +00:00
Peter Simons 48ecb667ab pkgs/applications/editors/emacs-modes/haskell: added meta section 
svn path=/nixpkgs/trunk/; revision=24134
 2010-10-07 13:13:42 +00:00
Michael Raskin 4325bd0b28 Update Wireshark to release 
svn path=/nixpkgs/trunk/; revision=24129
 2010-10-07 07:56:00 +00:00
Ludovic Courtès b67487377d BitlBee 1.2.8. 
svn path=/nixpkgs/trunk/; revision=24128
 2010-10-07 07:29:44 +00:00
Eelco Dolstra 3137cb5c59 * Apply some fixes to the xendomains script. 
svn path=/nixpkgs/trunk/; revision=24120
 2010-10-06 16:04:04 +00:00
Lluís Batlle i Rossell 6abc00fb67 Updating fossil 
svn path=/nixpkgs/trunk/; revision=24116
 2010-10-06 13:30:06 +00:00
Michael Raskin fc97834dd5 Update Veracity 
svn path=/nixpkgs/trunk/; revision=24112
 2010-10-06 11:47:04 +00:00
Rob Vermaas 006528b42d mercurial: update to 1.6.4 and install hgweb.cgi 
svn path=/nixpkgs/trunk/; revision=24110
 2010-10-06 11:20:20 +00:00
Eelco Dolstra d11c271dcb * Install the Xen manpages. 
svn path=/nixpkgs/trunk/; revision=24109
 2010-10-06 11:04:07 +00:00
Lluís Batlle i Rossell 3b018566d6 Update awesome (patch by Carles Pagès) 
svn path=/nixpkgs/trunk/; revision=24108
 2010-10-06 11:02:18 +00:00
Yury G. Kudryashov fb8d50d76a Make quassel compile with kde-4.5 
kde45.kde is an attribute set, so rename flag to withKDE.

svn path=/nixpkgs/trunk/; revision=24096
 2010-10-05 18:08:45 +00:00
Yury G. Kudryashov 673e66e3a3 Move most kde-extragear apps to top-level 
svn path=/nixpkgs/trunk/; revision=24092
 2010-10-05 17:44:33 +00:00
Yury G. Kudryashov 4591f1fe51 kipi-plugins: find gdk 
svn path=/nixpkgs/trunk/; revision=24091
 2010-10-05 17:44:17 +00:00
Yury G. Kudryashov 739f82a526 Digikam-1.4.0, move to all-packages.nix 
svn path=/nixpkgs/trunk/; revision=24089
 2010-10-05 17:44:05 +00:00
Yury G. Kudryashov bf340ad55a Move kipi-plugins to apps/graphics 
svn path=/nixpkgs/trunk/; revision=24088
 2010-10-05 17:43:57 +00:00
Yury G. Kudryashov 1099a83b54 Make kadu build in chroot. TODO: re-enable icons 
svn path=/nixpkgs/trunk/; revision=24064
 2010-10-05 05:43:59 +00:00
Yury G. Kudryashov 67b5d732a2 Move kdevplatform and kdevelop to all-packages.nix 
svn path=/nixpkgs/trunk/; revision=24063
 2010-10-05 05:43:39 +00:00
Eelco Dolstra b801c21d1f * Build Xen's stubdoms, in particular pv-grub (needed to securely boot 
from a kernel/initrd stored on a guest filesystem).

svn path=/nixpkgs/trunk/; revision=24062
 2010-10-04 23:25:03 +00:00
Russell O'Connor 228303d47e Merging roconnor's and ludo' texmacs derivations. 
texmacs now has extra font options.
texmacs is abstracted over which tex it uses (AFAIK texmacs only uses metafont).
texmacs now depends on aspell, ghostscript soft dependencies.

svn path=/nixpkgs/trunk/; revision=24054
 2010-10-04 15:07:38 +00:00
Evgeny Egorochkin c9ad6ec90a Packaged Gobby 
svn path=/nixpkgs/trunk/; revision=24040
 2010-10-04 04:15:23 +00:00
Lluís Batlle i Rossell cd4b54748a Updating from trunk 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24038
 2010-10-03 09:25:34 +00:00
Lluís Batlle i Rossell 5032b693b2 Fix for mips64 for mldonkey (I'll submit it upstream) 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24035
 2010-10-03 09:18:44 +00:00
Lluís Batlle i Rossell 0c7429f8cc My attempts to build mldonkey on the fuloong 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24034
 2010-10-03 09:18:31 +00:00
Lluís Batlle i Rossell bc92057a17 Making vim some configurable options go through getConfig. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24033
 2010-10-03 09:18:14 +00:00
Lluís Batlle i Rossell 530ac48a7c 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/branches/stdenv-updates/; revision=24031
 2010-10-03 09:17:22 +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
Armijn Hemel 8db80a9616 update to 7.3 
svn path=/nixpkgs/trunk/; revision=24008
 2010-09-30 17:00:13 +00:00
Michael Raskin c7ca6b46b2 Update Veracity 
svn path=/nixpkgs/trunk/; revision=24006
 2010-09-30 16:41:45 +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
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
Evgeny Egorochkin a2909b0386 MySql-Workbench: packaged 
Patch by Karn Kallio

svn path=/nixpkgs/trunk/; revision=23983
 2010-09-28 09:33:56 +00:00
Michael Raskin d63a20e353 Update veracity 
svn path=/nixpkgs/trunk/; revision=23977
 2010-09-28 04:27:01 +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 3a9ff9d607 Add pkgconfig to amarok buildInputs 
svn path=/nixpkgs/trunk/; revision=23965
 2010-09-27 11:19:42 +00:00
Yury G. Kudryashov 5f38d49440 typo 
svn path=/nixpkgs/trunk/; revision=23959
 2010-09-27 08:16:25 +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
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
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 f726884df5 Old flashplayer is not available anymore 
svn path=/nixpkgs/trunk/; revision=23896
 2010-09-22 18:04:29 +00:00
Marco Maggesi 209c32c4c9 Update fossil 
svn path=/nixpkgs/trunk/; revision=23894
 2010-09-22 13:10:43 +00:00
Michael Raskin 3410afb706 Fix arora platform 
svn path=/nixpkgs/trunk/; revision=23892
 2010-09-22 08:59:50 +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
Evgeny Egorochkin 020cba6b98 Arora: packaged 
svn path=/nixpkgs/trunk/; revision=23877
 2010-09-20 22:16:16 +00:00
Michael Raskin b383ca8d2a Add Vacuum IM 
svn path=/nixpkgs/trunk/; revision=23870
 2010-09-20 08:40:30 +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 8ec9590737 Git: fix an impurity: was taking grep from PATH. 
svn path=/nixpkgs/trunk/; revision=23853
 2010-09-18 12:45:04 +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
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
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
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