Michael Raskin e7b491a7e1 Update E prover		2013-04-21 16:30:40 +04:00
..
astronomy	stellarium: update to version 0.11.4a	2013-01-19 02:26:03 +01:00
biology
chemistry/avogadro	Rename buildNativeInputs -> nativeBuildInputs	2012-12-28 19:20:09 +01:00
electronics	kicad: upgrade to stable version 20130325, libraries to r220	2013-03-31 19:17:02 -07:00
geometry
logic	Update E prover	2013-04-21 16:30:40 +04:00
math	wxmaxima: don't try to build this package on FreeBSD	2013-03-22 12:53:07 +01:00
misc	Merge branch 'master' into stdenv-updates.	2013-01-11 15:46:10 +01:00
molecular-dynamics/gromacs