Michael Raskin 4c55ae8588 Update TPTP and make URL set robust to moving old versions to archive		2014-05-03 00:53:46 +04:00
..
astronomy
biology
chemistry/avogadro
electronics	qfsm: update meta.platforms settings for the new logic	2014-04-26 15:54:52 +02:00
geometry
logic	Update TPTP and make URL set robust to moving old versions to archive	2014-05-03 00:53:46 +04:00
math	haskell-sloane: update to version 1.7.1	2014-05-01 21:57:03 +02:00
misc	megam: New package	2014-04-15 14:00:56 +01:00
molecular-dynamics/gromacs
spyder