John Wiegley cfc70c60ab coq_HEAD: 8.5pre-fff9e2f7 -> 8.5pre-8bc01590		2014-08-16 00:13:15 -05:00
..
astronomy
biology
chemistry/avogadro
electronics
geometry
logic	coq_HEAD: 8.5pre-fff9e2f7 -> 8.5pre-8bc01590	2014-08-16 00:13:15 -05:00
math
misc	Add application for scientific data analysis: fityk	2014-08-14 01:57:27 +02:00
molecular-dynamics/gromacs
spyder