nixpkgs/pkgs/applications/science
2015-03-29 14:25:48 -07:00
..
astronomy qt5: make qt-5.4.1 default 2015-03-24 17:14:56 -05:00
biology
chemistry/avogadro
electronics qt5: make qt-5.4.1 default 2015-03-24 17:14:56 -05:00
geometry
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
programming/plm New package PLM: Programmer's Learning Machine 2015-02-13 16:06:19 +01:00
spyder