Marco 3af4c7065d Update HOL Light to svn r232 (2015-05-31)		2015-06-03 11:17:39 +02:00
..
astronomy
biology
chemistry/avogadro
electronics	nixpkgs: verilator 3.872	2015-05-31 17:37:56 -05:00
geometry
logic	Update HOL Light to svn r232 (2015-05-31)	2015-06-03 11:17:39 +02:00
math
misc
molecular-dynamics/gromacs
programming
spyder