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
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