Michael Raskin 9d92fe013e Adding E-KRHyper theorem prover		2013-05-09 17:47:58 +04:00
..
astronomy	stellarium: update to version 0.11.4a	2013-01-19 02:26:03 +01:00
biology
chemistry/avogadro
electronics	kicad: upgrade to stable version 20130325, libraries to r220	2013-03-31 19:17:02 -07:00
geometry
logic	Adding E-KRHyper theorem prover	2013-05-09 17:47:58 +04:00
math	wxmaxima: don't try to build this package on FreeBSD	2013-03-22 12:53:07 +01:00
misc	Revert Merge x-updates into master due to mesa bloat	2013-05-09 14:03:35 +02:00
molecular-dynamics/gromacs
spyder	spyder: create desktop menu item	2013-05-06 20:52:58 +02:00