John Wiegley d15cd4875f coq_HEAD: update to latest Git version		2014-12-19 13:58:07 -06:00
..
astronomy
biology
chemistry/avogadro
electronics
geometry
logic	coq_HEAD: update to latest Git version	2014-12-19 13:58:07 -06:00
math	R: add meta.platforms attribute	2014-12-03 16:28:28 +01:00
misc	root: fix build by upstream patch	2014-12-10 13:03:01 +01:00
molecular-dynamics/gromacs
spyder