Michael Raskin
4c83dca2b4
Update X-Moto
...
svn path=/nixpkgs/trunk/; revision=25047
2010-12-10 05:40:33 +00:00
Tobias Hammerschmidt
4c9fe18b8a
broadcom wireless driver - patch by Vladimír Čunát
...
svn path=/nixpkgs/trunk/; revision=25044
2010-12-09 19:05:19 +00:00
Marco Maggesi
9568a1bc80
* Enable hydra compilation for ocaml 3.11.1 (error in the previous commit)
...
svn path=/nixpkgs/trunk/; revision=25043
2010-12-09 15:44:05 +00:00
Marco Maggesi
7b49a49cbb
* Enable hydra compilation for ocaml 3.11.1
...
svn path=/nixpkgs/trunk/; revision=25042
2010-12-09 15:41:14 +00:00
Marco Maggesi
ac457478e3
* Add ocaml packages findlib, camlzip, ocaml-ssl, ocaml-batteries, menhir, camomile, ocaml-lwt, cryptokit, ocaml-cryptgps, ounit, ocaml-react
...
svn path=/nixpkgs/trunk/; revision=25041
2010-12-09 15:40:04 +00:00
Marco Maggesi
114fa21c48
* Add ocaml 3.12.0
...
svn path=/nixpkgs/trunk/; revision=25040
2010-12-09 14:03:13 +00:00
Eelco Dolstra
b555e4d8d6
* NVIDIA drivers updated to 260.19.21.
...
svn path=/nixpkgs/trunk/; revision=25037
2010-12-08 19:20:01 +00:00
Eelco Dolstra
d6f066c8ed
* e2fsprogs updated to 1.41.12.
...
svn path=/nixpkgs/trunk/; revision=25035
2010-12-08 17:58:18 +00:00
Eelco Dolstra
7236f87bed
* Bump.
...
svn path=/nixpkgs/trunk/; revision=25025
2010-12-07 13:16:11 +00:00
Eelco Dolstra
41cffbd0c3
* nixSqlite: use SQLite 3.6.x. 3.7.x gives weird "malformed
...
disk image" errors.
svn path=/nixpkgs/trunk/; revision=25023
2010-12-07 12:03:07 +00:00
Peter Simons
baa9150130
pkgs/development/tools/build-managers/scons: cosmetic build improvements
...
- The flag "--mandir" has no effect with setup.py. Instead, "--install-data"
must be used.
- Don't generate wrappers for trivial symlink aliases in bin.
- Prefer symlinks over hard-links.
- The dependencies of this expression don't need to be propagated.
svn path=/nixpkgs/trunk/; revision=25021
2010-12-07 11:41:25 +00:00
Eelco Dolstra
04ec671c8a
* Run smbd in its own session / process group (setsid) because smbd
...
now kills its process group when it exits. Without setsid, this
ends up killing the parent (i.e., the builder).
* Use port 445 instead of 139 because the CIFS kernel module tries
port 445 first. If there is an actual Samba running on the host, it
would end up connecting to that one instead of our own and fail.
svn path=/nixpkgs/trunk/; revision=25017
2010-12-06 19:03:32 +00:00
Eelco Dolstra
c4d731f52b
* Samba updated to 3.5.6. Build with --localstatedir=/var to prevent
...
smbd from writing in $out/var at runtime. Also added --with-fhs.
svn path=/nixpkgs/trunk/; revision=25015
2010-12-06 18:59:07 +00:00
Peter Simons
9bd9e32aa8
pkgs/tools/system/ipmitool: move --mandir and --infodir to standard locations
...
svn path=/nixpkgs/trunk/; revision=25014
2010-12-06 18:01:57 +00:00
Peter Simons
d46e80976c
pkgs/tools/admin/tightvnc: move --mandir and --infodir to standard locations
...
svn path=/nixpkgs/trunk/; revision=25013
2010-12-06 18:01:51 +00:00
Peter Simons
dffe4189e7
pkgs/tools/X11/x11vnc: move --mandir and --infodir to standard locations
...
svn path=/nixpkgs/trunk/; revision=25012
2010-12-06 18:01:46 +00:00
Peter Simons
747604d740
pkgs/development/tools/misc/distcc: move --mandir and --infodir to standard locations
...
svn path=/nixpkgs/trunk/; revision=25011
2010-12-06 18:01:40 +00:00
Peter Simons
e47468ce76
pkgs/development/tools/documentation/doxygen: move --mandir and --infodir to standard locations
...
svn path=/nixpkgs/trunk/; revision=25010
2010-12-06 18:01:34 +00:00
Peter Simons
1e1610b37e
pkgs/development/tools/build-managers/scons: move --mandir and --infodir to standard locations
...
svn path=/nixpkgs/trunk/; revision=25009
2010-12-06 18:01:28 +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
Eelco Dolstra
528a471aa8
* apr-util updated to 1.3.10.
...
svn path=/nixpkgs/trunk/; revision=25000
2010-12-06 13:34:00 +00:00
Yury G. Kudryashov
292db979cb
Be more verbose
...
svn path=/nixpkgs/trunk/; revision=24997
2010-12-06 12:04:42 +00:00
Yury G. Kudryashov
c87a2ea713
Add Netlink library
...
svn path=/nixpkgs/trunk/; revision=24996
2010-12-06 12:04:36 +00:00
Yury G. Kudryashov
f3d4030979
Remove unused items from manifest.nix
...
svn path=/nixpkgs/trunk/; revision=24995
2010-12-06 12:04:31 +00:00
Yury G. Kudryashov
dc44c0eeeb
kde-l10n-4.5.3
...
svn path=/nixpkgs/trunk/; revision=24994
2010-12-06 12:04:27 +00:00
Yury G. Kudryashov
9d8000c968
Fix l10n manifest generation script
...
svn path=/nixpkgs/trunk/; revision=24993
2010-12-06 12:04:21 +00:00
Yury G. Kudryashov
1f558f78df
There will be no kdepim-4.5.x
...
svn path=/nixpkgs/trunk/; revision=24992
2010-12-06 12:04:16 +00:00
Yury G. Kudryashov
eeda98a673
Remove qt-4.5
...
svn path=/nixpkgs/trunk/; revision=24991
2010-12-06 12:04:09 +00:00
Rob Vermaas
f26b267858
fix debian lenny hashes
...
svn path=/nixpkgs/trunk/; revision=24986
2010-12-06 08:03:11 +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
242d04a69a
Adding Singular CAS
...
svn path=/nixpkgs/trunk/; revision=24980
2010-12-05 18:36:07 +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
c9c133ab11
Use requireFile for the form-hidden download of JDK 5 (or 1.5, who cares)
...
svn path=/nixpkgs/trunk/; revision=24972
2010-12-05 11:42:24 +00:00
Michael Raskin
44ac8c5ea1
Adding iProver
...
svn path=/nixpkgs/trunk/; revision=24969
2010-12-04 18:39:44 +00:00
Michael Raskin
c2a8d34118
Add a note about chroot builds
...
svn path=/nixpkgs/trunk/; revision=24968
2010-12-04 13:07:10 +00:00
Michael Raskin
86e44e72bf
Adding SPASS
...
svn path=/nixpkgs/trunk/; revision=24967
2010-12-04 11:43:01 +00:00
Michael Raskin
0141bfec63
Update SWI Prolog
...
svn path=/nixpkgs/trunk/; revision=24966
2010-12-04 11:16:39 +00:00
Michael Raskin
64ed7e705d
Adding Satallax prover
...
svn path=/nixpkgs/trunk/; revision=24963
2010-12-03 11:26:34 +00:00
Rob Vermaas
44e152f8d8
add Crypt::RandPasswd perl package
...
svn path=/nixpkgs/trunk/; revision=24962
2010-12-03 09:51:33 +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
c1e384b3eb
Tests fail for a reason that tells more about tests than sabout built binary
...
svn path=/nixpkgs/trunk/; revision=24949
2010-12-01 21:11:28 +00:00
Eelco Dolstra
2c814a5b2e
* Updated sysstat to the latest stable version.
...
svn path=/nixpkgs/trunk/; revision=24946
2010-12-01 12:28:37 +00:00
Michael Raskin
77672ac3a4
update muPDF
...
svn path=/nixpkgs/trunk/; revision=24945
2010-12-01 11:03:52 +00:00
Evgeny Egorochkin
c76f114d20
tor:version bump
...
svn path=/nixpkgs/trunk/; revision=24944
2010-12-01 04:07:44 +00:00