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

* More cleanup.

2010-07-28 18:01:17 +00:00

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