Vladimír Čunát 7421ee673c qucs: minor update and fix for new gcc		2013-02-24 15:11:19 +01:00
..
astronomy
biology
chemistry/avogadro
electronics	qucs: minor update and fix for new gcc	2013-02-24 15:11:19 +01:00
geometry
logic	Update HOL Light to revision 155	2013-02-08 15:26:35 +01:00
math
misc
molecular-dynamics/gromacs