Russell O'Connor 5bbcebf2db Bump coq version to 8.4pl4.		2014-05-12 22:17:00 -04:00
..
astronomy
biology
chemistry/avogadro
electronics	tkgate: rewrite expressions to get along without the broken 'libiconvOrLibc' attribute	2014-05-07 23:11:51 +02:00
geometry
logic	Bump coq version to 8.4pl4.	2014-05-12 22:17:00 -04:00
math	R: don't restrict meta.platforms to Linux; other architectures should build fine	2014-05-04 22:04:44 +02:00
misc	megam: New package	2014-04-15 14:00:56 +01:00
molecular-dynamics/gromacs
spyder