summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Expand)AuthorAge
* Revert "WIP", sorry, I got confused, somehowVladimír Čunát2013-02-17
* WIPVladimír Čunát2013-02-17
* Update HOL Light to revision 155Marco Maggesi2013-02-08
* Update HOL Light to revision 154Marco Maggesi2013-02-08
* maxima: update to version 5.29.1Peter Simons2013-01-19
* stellarium: update to version 0.11.4aPeter Simons2013-01-19
* Fix bad URLs lacking a schemeEelco Dolstra2013-01-14
* boinc: fix it; the binaries didn't start.Lluís Batlle i Rossell2013-01-08
* boinc: updating to 7.0.44Lluís Batlle i Rossell2013-01-08
* Merge pull request #231 from RSzibele/masterMichael Raskin2012-12-27
|\
| * Added Logisim-2.7.1.RSzibele2012-12-27
* | Merge pull request #226 from maggesi/hol_light_updatesMichael Raskin2012-12-27
|\ \ | |/ |/|
| * Update HOL Light (and fix installation)Marco Maggesi2012-12-23
* | celestia: add version 1.6.1Peter Simons2012-12-25
|/
* 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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-06 20:53:53 +0000