Gabriel Ebner 711e9e20de metis-prover: 2.3 -> 2.3.20160101		2016-01-02 16:04:03 +01:00
..
astronomy
biology
chemistry/avogadro
electronics	fritzing: Qt 5 infrastructure update	2015-12-20 07:56:50 -06:00
geometry	drgeo: reimplement using mkDerivation	2015-11-24 14:45:15 +01:00
logic	metis-prover: 2.3 -> 2.3.20160101	2016-01-02 16:04:03 +01:00
math	pari (PARI/GP): 2.7.4 -> 2.7.5	2016-01-01 12:30:17 +03:00
misc
molecular-dynamics/gromacs
programming/plm
spyder	python spyder: 2.3.7 -> 2.3.8	2015-12-01 20:23:42 +01:00