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
chemistry/avogadro
electronics
geometry
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
spyder