Gergely Risko b43347342b Add platforms to coq, so it's built on Hydra		2013-08-28 21:35:07 +02:00
..
astronomy
biology
chemistry/avogadro
electronics
geometry
logic	Add platforms to coq, so it's built on Hydra	2013-08-28 21:35:07 +02:00
math	maxima: add $out/bin to $PATH in the maxima wrapper scripts	2013-08-28 16:33:53 +02:00
misc
molecular-dynamics/gromacs
spyder