Austin Seipp a6813ca62d nixpkgs: add lean-20150328, a theorem prover. ... Signed-off-by: Austin Seipp <aseipp@pobox.com>		2015-03-28 01:47:39 -05:00
..
astronomy	kill libiconvOr*	2015-02-07 20:29:28 -08:00
biology	Fix many package descriptions	2014-08-24 22:31:37 +02:00
chemistry/avogadro
electronics	Updating gtkwave to 3.3.64	2015-02-26 10:36:10 +01:00
geometry	Turn some license strings into lib.licenses values	2014-07-28 11:31:14 +02:00
logic	nixpkgs: add lean-20150328, a theorem prover.	2015-03-28 01:47:39 -05:00
math	pcalc: 20120812 -> 20141224	2015-03-24 18:27:42 +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
programming/plm	New package PLM: Programmer's Learning Machine	2015-02-13 16:06:19 +01:00
spyder	Fix many package descriptions	2014-08-24 22:31:37 +02:00