Michael Raskin 6944de0f94 Updating EProver to 1.8		2013-10-20 21:03:04 +04:00
..
astronomy	gravit: enable PNG support	2013-09-17 11:53:27 +02:00
biology	Some description fixes	2013-10-05 19:36:23 +02:00
chemistry/avogadro	Fix a bunch of Hydra evaluation errors	2013-10-07 17:36:47 +02:00
electronics	More description fixes	2013-10-06 12:01:38 +02:00
geometry	Change more packages from direct downloads to mirror://sourceforge	2013-07-14 02:48:32 +03:00
logic	Updating EProver to 1.8	2013-10-20 21:03:04 +04:00
math	wxmaxima: update to version 13.04.2	2013-10-13 00:39:06 +02:00
misc	unmaintain several packages	2013-08-16 23:45:01 +02:00
molecular-dynamics/gromacs	fix bad "licence" names	2013-07-04 18:16:34 +02:00
spyder