Gabriel Ebner 5493dccfbb metis-prover: init at 2.3		2015-09-21 21:42:20 +02:00
..
astronomy	stellarium: build with qt5Full to fix run-time crashes	2015-07-14 22:39:34 +02:00
biology	Remove arb and then-orphaned lesstif93	2015-05-26 11:46:41 +02:00
chemistry/avogadro	avogadro: build documentation	2013-12-18 18:18:22 +02:00
electronics	geda: init at 1.8.2-20130925	2015-08-31 15:09:58 -06:00
geometry	all-packages: Use callPackage where possible	2015-09-14 22:27:19 -06:00
logic	metis-prover: init at 2.3	2015-09-21 21:42:20 +02:00
math	perseus: init at 4-beta	2015-09-19 00:56:24 +02:00
misc	root: fix build by -lX11	2015-09-01 08:23:00 +02:00
molecular-dynamics/gromacs	Don't use "with licenses;" for single licences	2015-05-28 19:20:29 +02:00
programming/plm	Revert "Added K Framework package."	2015-08-29 15:38:33 +02:00
spyder	add myself as maintainer	2015-09-09 15:25:49 +02:00