John Wiegley d80aa87b13 coqPackages_8_5.coq: 8.5b2 -> 8.5rc1		2015-12-21 16:12:43 -08: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	coqPackages_8_5.coq: 8.5b2 -> 8.5rc1	2015-12-21 16:12:43 -08:00
math	R: 3.2.2 -> 3.2.3	2015-12-11 11:36:30 +01:00
misc	xlibs: replace occurrences by xorg	2015-09-15 12:54:34 +02:00
molecular-dynamics/gromacs
programming/plm
spyder	python spyder: 2.3.7 -> 2.3.8	2015-12-01 20:23:42 +01:00