nixpkgs/pkgs/applications/science
Michael Raskin 07de46c2fa Update E prover
svn path=/nixpkgs/trunk/; revision=31269
2012-01-04 10:31:49 +00:00
..
astronomy gravit: cosmetic 2011-11-08 10:01:14 +00:00
biology
chemistry/avogadro Fix typo in URL 2011-08-15 23:39:11 +00:00
electronics Updating kicad. 2011-12-18 14:49:39 +00:00
geometry Fix DrGeo build 2010-11-19 04:07:34 +00:00
logic Update E prover 2012-01-04 10:31:49 +00:00
math maxima: updated to version 5.26.0 2011-12-22 12:30:19 +00:00
misc tulip-3.6.1 2012-01-02 18:36:04 +00:00