Shea Levy 389c3951a8 Merge branch 'coq' of git://github.com/thoughtpolice/nixpkgs ... coq: 8.4pl2 -> 8.4pl3		2014-03-15 13:03:10 -04:00
..
astronomy	celestia: fix install location	2014-02-17 06:49:05 +01:00
biology	Some description fixes	2013-10-05 19:36:23 +02:00
chemistry/avogadro	avogadro: build documentation	2013-12-18 18:18:22 +02:00
electronics	kicad: disable parallel building, as it often fails	2014-02-06 08:06:22 +01:00
geometry	Change more packages from direct downloads to mirror://sourceforge	2013-07-14 02:48:32 +03:00
logic	Merge branch 'coq' of git://github.com/thoughtpolice/nixpkgs	2014-03-15 13:03:10 -04:00
math	R: update to version 3.0.3	2014-03-07 22:51:39 +01:00
misc	root: update from 5.34.14 to 5.34.15	2014-03-03 11:10:25 +01:00
molecular-dynamics/gromacs	gromacsDouble: update from 4.5.5 to 4.6.5	2013-12-18 18:18:30 +02:00
spyder	Whitespace fixes in package expressions I maintain	2014-01-02 17:58:08 +01:00