Marco 5f6e6b1661 Update HOL Light to r218		2015-02-17 10:23:51 +01:00
..
astronomy	stellarium: update from 0.12.4 to 0.13.2	2015-01-27 14:04:54 +01:00
biology	Fix many package descriptions	2014-08-24 22:31:37 +02:00
chemistry/avogadro	avogadro: build documentation	2013-12-18 18:18:22 +02:00
electronics	rename all occurrences of stdenv.cc.gcc to stdenv.cc.cc	2015-01-14 20:27:55 -08:00
geometry	Turn some license strings into lib.licenses values	2014-07-28 11:31:14 +02:00
logic	Update HOL Light to r218	2015-02-17 10:23:51 +01:00
math	Updating weka to 3.6.12.	2015-02-13 16:22:39 +01:00
misc	unmaintain a bunch of packages	2015-01-13 22:33:49 +01:00
molecular-dynamics/gromacs	Fix many package descriptions	2014-08-24 22:31:37 +02:00
spyder	Fix many package descriptions	2014-08-24 22:31:37 +02:00