| Commit message (Expand) | Author | Age |
* | * Fix installation of camlzip | Marco Maggesi | 2010-12-12 |
* | * take camlzip META file from GODI | Marco Maggesi | 2010-12-12 |
* | Adding evopedia. Contributed by Joachim Schiele. | Lluís Batlle i Rossell | 2010-12-11 |
* | * Add ocaml-sqlite3 | Marco Maggesi | 2010-12-11 |
* | * Enable hydra build for ocaml-batteries, camlzip, camomile, ocaml-cryptgps, ... | Marco Maggesi | 2010-12-11 |
* | * Put ocaml 3.12.0 at lower priority because it is not tested very much yet | Marco Maggesi | 2010-12-11 |
* | * Narrow ocaml platforms to linux and darwin | Marco Maggesi | 2010-12-11 |
* | * nixSqlite: bump. Also, go back to using SQLite 3.7 because 3.6 also | Eelco Dolstra | 2010-12-10 |
* | * SQLite 3.7.4. | Eelco Dolstra | 2010-12-10 |
* | Update X-Moto | Michael Raskin | 2010-12-10 |
* | broadcom wireless driver - patch by Vladimír Čunát | Tobias Hammerschmidt | 2010-12-09 |
* | * Enable hydra compilation for ocaml 3.11.1 (error in the previous commit) | Marco Maggesi | 2010-12-09 |
* | * Enable hydra compilation for ocaml 3.11.1 | Marco Maggesi | 2010-12-09 |
* | * Add ocaml packages findlib, camlzip, ocaml-ssl, ocaml-batteries, menhir, ca... | Marco Maggesi | 2010-12-09 |
* | * Add ocaml 3.12.0 | Marco Maggesi | 2010-12-09 |
* | * NVIDIA drivers updated to 260.19.21. | Eelco Dolstra | 2010-12-08 |
* | * e2fsprogs updated to 1.41.12. | Eelco Dolstra | 2010-12-08 |
* | * Bump. | Eelco Dolstra | 2010-12-07 |
* | * nixSqlite: use SQLite 3.6.x. 3.7.x gives weird "malformed | Eelco Dolstra | 2010-12-07 |
* | pkgs/development/tools/build-managers/scons: cosmetic build improvements | Peter Simons | 2010-12-07 |
* | * Run smbd in its own session / process group (setsid) because smbd | Eelco Dolstra | 2010-12-06 |
* | * Samba updated to 3.5.6. Build with --localstatedir=/var to prevent | Eelco Dolstra | 2010-12-06 |
* | pkgs/tools/system/ipmitool: move --mandir and --infodir to standard locations | Peter Simons | 2010-12-06 |
* | pkgs/tools/admin/tightvnc: move --mandir and --infodir to standard locations | Peter Simons | 2010-12-06 |
* | pkgs/tools/X11/x11vnc: move --mandir and --infodir to standard locations | Peter Simons | 2010-12-06 |
* | pkgs/development/tools/misc/distcc: move --mandir and --infodir to standard l... | Peter Simons | 2010-12-06 |
* | pkgs/development/tools/documentation/doxygen: move --mandir and --infodir to ... | Peter Simons | 2010-12-06 |
* | pkgs/development/tools/build-managers/scons: move --mandir and --infodir to s... | Peter Simons | 2010-12-06 |
* | subversion: don't specify both --disable-keychain and --enable-keychain | Peter Simons | 2010-12-06 |
* | * apr-util updated to 1.3.10. | Eelco Dolstra | 2010-12-06 |
* | Be more verbose | Yury G. Kudryashov | 2010-12-06 |
* | Add Netlink library | Yury G. Kudryashov | 2010-12-06 |
* | Remove unused items from manifest.nix | Yury G. Kudryashov | 2010-12-06 |
* | kde-l10n-4.5.3 | Yury G. Kudryashov | 2010-12-06 |
* | Fix l10n manifest generation script | Yury G. Kudryashov | 2010-12-06 |
* | There will be no kdepim-4.5.x | Yury G. Kudryashov | 2010-12-06 |
* | Remove qt-4.5 | Yury G. Kudryashov | 2010-12-06 |
* | fix debian lenny hashes | Rob Vermaas | 2010-12-06 |
* | Adding MiniSAT | Michael Raskin | 2010-12-05 |
* | Adding PARI/GP | Michael Raskin | 2010-12-05 |
* | Fix installation layout | Michael Raskin | 2010-12-05 |
* | Missing Singular files | Michael Raskin | 2010-12-05 |
* | Adding Singular CAS | Michael Raskin | 2010-12-05 |
* | Adding OpenSMT | Michael Raskin | 2010-12-05 |
* | Adding CVC3 satisfiability modulo theory (SMT) solver | Michael Raskin | 2010-12-05 |
* | Use requireFile for the form-hidden download of JDK 5 (or 1.5, who cares) | Michael Raskin | 2010-12-05 |
* | Adding iProver | Michael Raskin | 2010-12-04 |
* | Add a note about chroot builds | Michael Raskin | 2010-12-04 |
* | Adding SPASS | Michael Raskin | 2010-12-04 |
* | Update SWI Prolog | Michael Raskin | 2010-12-04 |