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

2438 commits

Author SHA1 Message Date
Michael Raskin c2df70227c Updating veracity 
svn path=/nixpkgs/trunk/; revision=25332
 2011-01-02 09:27:09 +00:00
Russell O'Connor 88ec92d14c Matita and its dependencies. 
svn path=/nixpkgs/trunk/; revision=25328
 2010-12-31 17:48:55 +00:00
Alexander Tsamutali d3bb1b2630 applications/misc/xmobar: Updated to 0.12. 
svn path=/nixpkgs/trunk/; revision=25327
 2010-12-30 22:36:46 +00:00
Michael Raskin cc30a2861c Adding freetalk 
svn path=/nixpkgs/trunk/; revision=25323
 2010-12-29 19:20:55 +00:00
Eelco Dolstra cb843de402 * Audacious updated to 2.4.2. 
svn path=/nixpkgs/trunk/; revision=25319
 2010-12-29 10:39:41 +00:00
Eelco Dolstra 762ed9079f * Merged the stdenv-updated branch. Woohoo! 
svn path=/nixpkgs/trunk/; revision=25315
 2010-12-28 21:19:57 +00:00
Lluís Batlle i Rossell 4c16325de0 I take out getPkgConfig. It looks to me as if it needed a solution, but noone took action. 
I take action before much discussion.
For what I see:
- getPkgConfig problems are hard to track
- config.nix trying to forecast getPkgConfig behaviour looks me as a bad approach,
  and people should not trust such a config.nix unless they parsed the whole nixpkgs
  for tricky effects.
- It's not that hard to write config.nix in the style of getConfig
- Every now and then newcomers hit the "'git' is an attribute set while a boolean was expected".

Maybe this will disrupt nixes of some people, and that will be a background on what to discuss.


svn path=/nixpkgs/trunk/; revision=25314
 2010-12-28 21:07:35 +00:00
Yury G. Kudryashov 302d783310 Make filelight compile with gcc-4.5 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25313
 2010-12-28 18:47:57 +00:00
Eelco Dolstra aa6f43149a * Sync with the trunk. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25308
 2010-12-28 16:42:00 +00:00
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