John Wiegley 2b8ef119c5 Revert "coq: 8.5b2 -> 8.5b3" ... This reverts commit c111b0cd4d. @oconnorr I will restore this once there is more ecosystem to support it.		2015-11-25 12:58:07 -08:00
..
astronomy
biology
chemistry/avogadro
electronics	Replace 'with plaforms; platform' with 'platforms.platform'	2015-11-17 21:30:43 +01:00
geometry	drgeo: reimplement using mkDerivation	2015-11-24 14:45:15 +01:00
logic	Revert "coq: 8.5b2 -> 8.5b3"	2015-11-25 12:58:07 -08:00
math	R: add curl for https support	2015-11-25 11:39:28 +01:00
misc	xlibs: replace occurrences by xorg	2015-09-15 12:54:34 +02:00
molecular-dynamics/gromacs
programming/plm	Revert "Added K Framework package."	2015-08-29 15:38:33 +02:00
spyder	add myself as maintainer	2015-09-09 15:25:49 +02:00