JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
13,631 Commits 2 Branches 0 Tags 13 GiB
f1a3b5e937
Commit Graph

2620 Commits

Author SHA1 Message Date
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
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
Michael Raskin
6babe5dea4 Update Veracity 
svn path=/nixpkgs/trunk/; revision=23806
 2010-09-15 08:42:46 +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
Eelco Dolstra
cdecced3b0 * Fix various references to /usr. 
svn path=/nixpkgs/trunk/; revision=23788
 2010-09-14 13:50:32 +00:00
Yury G. Kudryashov
38dec40ddc Upgrade ktorrent 
svn path=/nixpkgs/trunk/; revision=23754
 2010-09-13 14:23:02 +00:00
Michael Raskin
58722fa393 Update veracity 
svn path=/nixpkgs/trunk/; revision=23745
 2010-09-13 11:54:30 +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