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

12644 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Eelco Dolstra
f088bd4791 * nixUnstable updated, now with garbage collector. 
svn path=/nixpkgs/trunk/; revision=24943
 2010-11-30 18:32:23 +00:00
Eelco Dolstra
a772452fc9 * Merged the cve-2010-3856 branch, fixing two critical Glibc security 
bugs.

svn path=/nixpkgs/trunk/; revision=24941
 2010-11-30 16:40:39 +00:00
Eelco Dolstra
86d51032cc * Sync. 
svn path=/nixpkgs/branches/cve-2010-3856/; revision=24936
 2010-11-30 11:39:53 +00:00