about summary refs log tree commit diff
Commit message (Expand)AuthorAge
* * Fix installation of camlzipMarco Maggesi2010-12-12
* * take camlzip META file from GODIMarco Maggesi2010-12-12
* Adding evopedia. Contributed by Joachim Schiele.Lluís Batlle i Rossell2010-12-11
* * Add ocaml-sqlite3Marco Maggesi2010-12-11
* * Enable hydra build for ocaml-batteries, camlzip, camomile, ocaml-cryptgps, ...Marco Maggesi2010-12-11
* * Put ocaml 3.12.0 at lower priority because it is not tested very much yetMarco Maggesi2010-12-11
* * Narrow ocaml platforms to linux and darwinMarco Maggesi2010-12-11
* * nixSqlite: bump. Also, go back to using SQLite 3.7 because 3.6 alsoEelco Dolstra2010-12-10
* * SQLite 3.7.4.Eelco Dolstra2010-12-10
* Update X-MotoMichael Raskin2010-12-10
* broadcom wireless driver - patch by Vladimír ČunátTobias Hammerschmidt2010-12-09
* * Enable hydra compilation for ocaml 3.11.1 (error in the previous commit)Marco Maggesi2010-12-09
* * Enable hydra compilation for ocaml 3.11.1Marco Maggesi2010-12-09
* * Add ocaml packages findlib, camlzip, ocaml-ssl, ocaml-batteries, menhir, ca...Marco Maggesi2010-12-09
* * Add ocaml 3.12.0Marco Maggesi2010-12-09
* * NVIDIA drivers updated to 260.19.21.Eelco Dolstra2010-12-08
* * e2fsprogs updated to 1.41.12.Eelco Dolstra2010-12-08
* * Bump.Eelco Dolstra2010-12-07
* * nixSqlite: use SQLite 3.6.x. 3.7.x gives weird "malformedEelco Dolstra2010-12-07
* pkgs/development/tools/build-managers/scons: cosmetic build improvementsPeter Simons2010-12-07
* * Run smbd in its own session / process group (setsid) because smbdEelco Dolstra2010-12-06
* * Samba updated to 3.5.6. Build with --localstatedir=/var to preventEelco Dolstra2010-12-06
* pkgs/tools/system/ipmitool: move --mandir and --infodir to standard locationsPeter Simons2010-12-06
* pkgs/tools/admin/tightvnc: move --mandir and --infodir to standard locationsPeter Simons2010-12-06
* pkgs/tools/X11/x11vnc: move --mandir and --infodir to standard locationsPeter Simons2010-12-06
* pkgs/development/tools/misc/distcc: move --mandir and --infodir to standard l...Peter Simons2010-12-06
* pkgs/development/tools/documentation/doxygen: move --mandir and --infodir to ...Peter Simons2010-12-06
* pkgs/development/tools/build-managers/scons: move --mandir and --infodir to s...Peter Simons2010-12-06
* subversion: don't specify both --disable-keychain and --enable-keychainPeter Simons2010-12-06
* * apr-util updated to 1.3.10.Eelco Dolstra2010-12-06
* Be more verboseYury G. Kudryashov2010-12-06
* Add Netlink libraryYury G. Kudryashov2010-12-06
* Remove unused items from manifest.nixYury G. Kudryashov2010-12-06
* kde-l10n-4.5.3Yury G. Kudryashov2010-12-06
* Fix l10n manifest generation scriptYury G. Kudryashov2010-12-06
* There will be no kdepim-4.5.xYury G. Kudryashov2010-12-06
* Remove qt-4.5Yury G. Kudryashov2010-12-06
* fix debian lenny hashesRob Vermaas2010-12-06
* Adding MiniSATMichael Raskin2010-12-05
* Adding PARI/GPMichael Raskin2010-12-05
* Fix installation layoutMichael Raskin2010-12-05
* Missing Singular filesMichael Raskin2010-12-05
* Adding Singular CASMichael Raskin2010-12-05
* Adding OpenSMTMichael Raskin2010-12-05
* Adding CVC3 satisfiability modulo theory (SMT) solverMichael Raskin2010-12-05
* Use requireFile for the form-hidden download of JDK 5 (or 1.5, who cares)Michael Raskin2010-12-05
* Adding iProverMichael Raskin2010-12-04
* Add a note about chroot buildsMichael Raskin2010-12-04
* Adding SPASSMichael Raskin2010-12-04
* Update SWI PrologMichael Raskin2010-12-04