Vincent Laporte 58297aa1e7 Why3: build also the Coq tactic.		2015-01-29 08:43:15 +01:00
..
astronomy	stellarium: update from 0.12.4 to 0.13.2	2015-01-27 14:04:54 +01:00
biology
chemistry/avogadro
electronics	Change occurrences of gcc to the more general cc	2014-12-26 11:06:21 -06:00
geometry
logic	Why3: build also the Coq tactic.	2015-01-29 08:43:15 +01:00
math	pspp: update from 0.8.2 to 0.8.3	2015-01-27 14:04:54 +01:00
misc	unmaintain a bunch of packages	2015-01-13 22:33:49 +01:00
molecular-dynamics/gromacs
spyder