Arseniy Seroka f63db297d6 Merge pull request #12519 from gebner/metis-20160102 ... metis-prover: 2.3.20160101 -> 2.3.20160102		2016-01-21 18:39:57 +03:00
..
astronomy
biology
chemistry/avogadro
electronics	tkgate 2.x: remove dead package	2016-01-14 23:55:47 +01:00
geometry	drgeo: reimplement using mkDerivation	2015-11-24 14:45:15 +01:00
logic	Merge pull request #12519 from gebner/metis-20160102	2016-01-21 18:39:57 +03:00
math	R: add a new enableStrictBarrier package option.	2016-01-17 11:09:05 +01:00
misc
molecular-dynamics/gromacs
programming/plm
spyder	python spyder: 2.3.7 -> 2.3.8	2015-12-01 20:23:42 +01:00