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
electronics	Fix tarball	2012-11-26 20:31:45 -05:00
geometry
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