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

2479 commits

Author SHA1 Message Date
Alexander Tsamutali b2ac724cd6 xmonad-contrib: Now depends on X11Xft. 
svn path=/nixpkgs/trunk/; revision=25299
 2010-12-27 20:50:27 +00:00
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