Marco Maggesi a487b3326b Update HOL Light to version 2015-11-02		2015-11-03 15:24:56 +01:00
..
astronomy
biology
chemistry/avogadro
electronics	geda: init at 1.8.2-20130925	2015-08-31 15:09:58 -06:00
geometry	all-packages: Use callPackage where possible	2015-09-14 22:27:19 -06:00
logic	Update HOL Light to version 2015-11-02	2015-11-03 15:24:56 +01:00
math	R: advance to version 3.2.2.	2015-10-02 22:15:14 +02: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