Gergely Risko b43347342b Add platforms to coq, so it's built on Hydra		2013-08-28 21:35:07 +02:00
..
astronomy	celestia: fix compilation and linking after x-updates merge	2013-06-18 13:11:03 +02:00
biology
chemistry/avogadro
electronics	eagle: bump version 6.4.0 -> 6.5.0	2013-08-25 20:42:51 +02:00
geometry	Change more packages from direct downloads to mirror://sourceforge	2013-07-14 02:48:32 +03:00
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	unmaintain several packages	2013-08-16 23:45:01 +02:00
molecular-dynamics/gromacs	fix bad "licence" names	2013-07-04 18:16:34 +02:00
spyder