Petr Rockai ed5bd26574 STP: Simple Theorem Prover (a SMT solver for bitvectors & arrays).		2014-01-25 16:33:12 +01:00
..
astronomy	celestia: fix build (inspired by Arch)	2014-01-05 10:42:55 +01:00
biology	Some description fixes	2013-10-05 19:36:23 +02:00
chemistry/avogadro	avogadro: build documentation	2013-12-18 18:18:22 +02:00
electronics	ngspice: update from 24 to 25	2013-12-23 05:27:10 +02:00
geometry	Change more packages from direct downloads to mirror://sourceforge	2013-07-14 02:48:32 +03:00
logic	STP: Simple Theorem Prover (a SMT solver for bitvectors & arrays).	2014-01-25 16:33:12 +01:00
math	fricas: clean up meta section	2014-01-20 18:20:08 +01:00
misc	root: enable parallel building	2014-01-20 18:26:32 +01:00
molecular-dynamics/gromacs	gromacsDouble: update from 4.5.5 to 4.6.5	2013-12-18 18:18:30 +02:00
spyder	Whitespace fixes in package expressions I maintain	2014-01-02 17:58:08 +01:00