summary refs log tree commit diff
path: root/pkgs
Commit message (Expand)AuthorAge
* 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
* Adding Satallax proverMichael Raskin2010-12-03
* add Crypt::RandPasswd perl packageRob Vermaas2010-12-03
* Adding LEO2 automated higher-order proverMichael Raskin2010-12-01
* Fix settings patch for IsabelleMichael Raskin2010-12-01
* Update IsabelleMichael Raskin2010-12-01
* Tests fail for a reason that tells more about tests than sabout built binaryMichael Raskin2010-12-01
* * Updated sysstat to the latest stable version.Eelco Dolstra2010-12-01
* update muPDFMichael Raskin2010-12-01
* tor:version bumpEvgeny Egorochkin2010-12-01
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-29 18:24:28 +0000