Russell O'Connor c9f5959285 Update Coq to version 8.4pl2.		2013-06-14 12:16:52 -04:00
..
astronomy	stellarium: update to version 0.12.1	2013-05-22 11:42:45 +02:00
biology	Remove a bunch of unreferenced files	2012-11-29 13:43:37 +01:00
chemistry/avogadro	Rename buildNativeInputs -> nativeBuildInputs	2012-12-28 19:20:09 +01:00
electronics	eagle: new package	2013-05-25 21:12:47 +02:00
geometry
logic	Update Coq to version 8.4pl2.	2013-06-14 12:16:52 -04:00
math	R: add version 3.0.1	2013-05-23 11:35:59 +02:00
misc	Revert Merge x-updates into master due to mesa bloat	2013-05-09 14:03:35 +02:00
molecular-dynamics/gromacs	remove reference to meta.nix	2012-11-23 15:46:49 +01:00
spyder	Fix maintainers attribute	2013-05-21 09:20:00 +02:00