Michael Raskin 1c3434cc16 Update E prover

2012-12-09 00:36:38 +04:00

..

astronomy

stellarium: update to version 0.11.4

2012-10-19 10:19:41 +02:00

biology

Remove a bunch of unreferenced files

2012-11-29 13:43:37 +01:00

chemistry/avogadro

Fix compilation with qt-4.8

2012-01-14 18:03:41 +00:00

electronics

Fix tarball

2012-11-26 20:31:45 -05:00

geometry

* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless

2012-01-18 20:16:00 +00:00

logic

Update E prover

2012-12-09 00:36:38 +04:00

math

wxmaxima: update to version 12.09.0

2012-10-19 10:12:31 +02:00

misc

Update golly

2012-12-04 10:10:28 +04:00

molecular-dynamics/gromacs

remove reference to meta.nix

2012-11-23 15:46:49 +01:00