summary refs log tree commit diff
Commit message (Expand)AuthorAge
* 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
* * nixUnstable updated, now with garbage collector.Eelco Dolstra2010-11-30
* * Merged the cve-2010-3856 branch, fixing two critical Glibc securityEelco Dolstra2010-11-30
|\
| * * Sync.Eelco Dolstra2010-11-30
| |\ | |/ |/|
* | Fixing the verilog URL (contributed by Antonio Vargas)Lluís Batlle i Rossell2010-11-30
* | Fix for the verilog package, from Antonio Vargas GonzalezLluís Batlle i Rossell2010-11-30
* | Maybe this will fix wicd.Russell O'Connor2010-11-30
* | Adding crrcsim model airplane flight simulatorMichael Raskin2010-11-29
* | Adding GL-117Michael Raskin2010-11-29
* | Update wicd to 1.7.0Russell O'Connor2010-11-29
* | pkgs/shells/ipython: added initial version of ipython 0.10.1Peter Simons2010-11-29
* | Update version of MySQL Workbench to 5.2.30Karn Kallio2010-11-29
| * * Sync with the trunk.Eelco Dolstra2010-11-29
| |\ | |/ |/|
* | * tcpdump 4.1.1.Eelco Dolstra2010-11-29
* | pkgs/development/interpreters/r-lang: cosmetic improvements to package descri...Peter Simons2010-11-29
* | pkgs/development/interpreters/r-lang: updated to version 2.12.0Peter Simons2010-11-29
* | * Subversion 1.6.15.Eelco Dolstra2010-11-29
* | * Linux 2.6.32.26.Eelco Dolstra2010-11-29
* | * Added xdelta.Eelco Dolstra2010-11-28
* | Update gajimMichael Raskin2010-11-28
* | Add stardustMichael Raskin2010-11-28
* | added tmuxTobias Hammerschmidt2010-11-28
* | Virtualbox guest additions: fix runtime dep on which. Patch by Rohan Hart.Evgeny Egorochkin2010-11-28
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-06-20 11:53:51 +0000