summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Expand)AuthorAge
* Update E proverMichael Raskin2012-12-09
* Update gollyMichael Raskin2012-12-04
* Remove a bunch of unreferenced filesEelco Dolstra2012-11-29
* Merge pull request #193 from badi/gromacsPeter Simons2012-11-28
|\
| * remove reference to meta.nixBadi' Abdul-Wahid2012-11-23
| * fix skipped indentationBadi' Abdul-Wahid2012-11-23
| * Update based on comments to pull requestBadi' Abdul-Wahid2012-11-23
| * Add GROMACS v4.5.5Badi' Abdul-Wahid2012-11-23
* | Fix tarballShea Levy2012-11-26
* | fix xoscope - thx archlinux!Florian Friesdorf2012-11-26
|/
* qfsm: add version 0.53.0Peter Simons2012-11-11
* tkgate: limit to i686-linux and x86_64-linux to fix channel buildMathijs Kwik2012-11-11
* tkgate: add versions 1.8.7 and 2.0-b10Peter Simons2012-11-08
* kicad: update homepage URLPeter Simons2012-10-28
* ng-spice-rework: update to version 24Peter Simons2012-10-28
* stellarium: update to version 0.11.4Peter Simons2012-10-19
* wxmaxima: update to version 12.09.0Peter Simons2012-10-19
* maxima: update to version 5.28.0Peter Simons2012-10-19
* gravit: update to version 0.5.0Peter Simons2012-10-10
* Update SSReflect to version 1.4Russell O'Connor2012-09-10
* Upgrade Isabelle proof assistant to version 2012Marco Maggesi2012-09-04
* Fixing configure patch for coq 8.3.Russell O'Connor2012-08-19
* Correcting filename.Russell O'Connor2012-08-19
* Update coq to 8.4Russell O'Connor2012-08-19
* gtkwave: updating to 3.3.39Lluís Batlle i Rossell2012-08-10
* stellarium: update to version 0.11.3Peter Simons2012-08-04
* Merge branch 'tptp-5.4.0' of https://github.com/7c6f434c/nixpkgsShea Levy2012-07-07
|\
| * TPTP: update to 5.4.0Michael Raskin2012-07-07
* | wxmaxima: update to version 12.04.0Peter Simons2012-07-07
* | maxima: update to version 5.27.0Peter Simons2012-07-07
|/
* Add GiNaCYury G. Kudryashov2012-06-09
* Update HOL Light to rev 141Marco Maggesi2012-05-30
* Revert accidentaly patch of ssreflect.Russell O'Connor2012-05-28
* Updatings ssreflect to depend on camlp5 version 6.Russell O'Connor2012-05-28
* add support to make building coqide optional.Russell O'Connor2012-05-28
* Updating coq and ssreflect to patch level 4.Russell O'Connor2012-05-16
* * Disable some failing builds on specific platforms.Eelco Dolstra2012-05-09
* Update HOL Light to r134Marco Maggesi2012-05-05
* Adding LCI lambda calculus interpreter Michael Raskin2012-05-01
* Update TPTPMichael Raskin2012-04-12
* Add packages to GAPMichael Raskin2012-04-05
* stellarium: updated to version 0.11.2Peter Simons2012-04-02
* Adding forgotten configure_130312 patch for matitia.Russell O'Connor2012-03-26
* Reparing stable build of Matita.Russell O'Connor2012-03-25
* Adding a package for a preview release of Matita.Russell O'Connor2012-03-25
* Upgrading HOL4 to version k.7.Russell O'Connor2012-03-20
* Update HOL Light to rev 128Marco Maggesi2012-03-17
* Fix building of Coq and update to version 8.3pl3. (Forgot to save files)Marco Maggesi2012-03-17
* Fix building of Coq and update to version 8.3pl3.Marco Maggesi2012-03-17
* Try to update slrYury G. Kudryashov2012-03-16
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-03 22:37:31 +0000