summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Expand)AuthorAge
* Update E proverMichael Raskin2012-01-04
* tulip-3.6.1Yury G. Kudryashov2012-01-02
* Oops!Marco Maggesi2011-12-28
* Update HOL Light to r116Marco Maggesi2011-12-28
* maxima: updated to version 5.26.0Peter Simons2011-12-22
* Updating kicad.Lluís Batlle i Rossell2011-12-18
* Update HOL Light to rev 114Marco Maggesi2011-12-16
* Update GollyMichael Raskin2011-12-13
* wxMaxima: updated to version 11.08.0Peter Simons2011-12-06
* maxima: updated to version 5.25.1Peter Simons2011-12-06
* Updating gtkwaveLluís Batlle i Rossell2011-12-05
* Update url for Isabelle2011Marco Maggesi2011-11-26
* adding camlp5 as a propogated build input to ulex 0.8Russell O'Connor2011-11-24
* Updated HOL Light to revision 112Marco Maggesi2011-11-10
* gravit: cosmeticPeter Simons2011-11-08
* stellarium: updated to version 0.11.1Peter Simons2011-11-07
* Package for picosat.Russell O'Connor2011-10-17
* Downgrading boinc to the last stable version.Lluís Batlle i Rossell2011-10-13
* Boinc wanted to be told to link to libX11Lluís Batlle i Rossell2011-10-07
* Boinc can even run, but only if placed in the proper (writeable) path.Lluís Batlle i Rossell2011-10-07
* Adding boinc. It installs. I don't know how to use it.Lluís Batlle i Rossell2011-10-06
* Move qt3/qt4 choice to .nix expressionsYury G. Kudryashov2011-09-20
* Update HOL Light to release 102Marco Maggesi2011-08-21
* Fix typo in URLYury G. Kudryashov2011-08-15
* Add avogadroYury G. Kudryashov2011-08-15
* pari-gp-2.5.0Yury G. Kudryashov2011-08-09
* Update LEO-IIMichael Raskin2011-08-05
* Updating MaximaMichael Raskin2011-08-04
* stellarium: build this package on Linux onlyPeter Simons2011-07-15
* gravit, stellarium: build software that depends on mesa only on mesa platformsPeter Simons2011-07-14
* wxmaxima: ensure that wxMaxima will find Maxima even if it's not in $PATHPeter Simons2011-07-13
* maxima: switch from clisp to sbcl, enable tk gui, and fix various impuritiesPeter Simons2011-07-13
* Added stellarium 0.11.0.Peter Simons2011-07-10
* gravit: enable support for lua 5.0.xPeter Simons2011-07-10
* gravit: added version 0.4.2Peter Simons2011-07-08
* xplanet: move expression into new category "astronomy"Peter Simons2011-07-08
* Added Eukleides, a geometry drawing language.Peter Simons2011-07-07
* Make tulip run without hassle. Unfortunately, some operations repeatably cras...Michael Raskin2011-07-01
* Update TulipMichael Raskin2011-07-01
* Adding TPTPMichael Raskin2011-06-15
* Update HOL Light to rev 92Marco Maggesi2011-06-14
* Update hol_light and cleanup:Marco Maggesi2011-05-21
* Fix building of Isabelle2011Marco Maggesi2011-05-14
* wxmaxima: updated to version 11.04.0Peter Simons2011-05-06
* maxima: updated to version 5.24.0Peter Simons2011-05-06
* * Typo in attribute. This broke --meta --xml evaluation.Eelco Dolstra2011-05-04
* adding ecm support to msieve.Russell O'Connor2011-04-23
* Adding ecm-6.2.3.Russell O'Connor2011-04-23
* Update HOL Light to r89Marco Maggesi2011-04-21
* Package for msieve.Russell O'Connor2011-04-21
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-05 00:33:38 +0000