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

* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless

2012-01-18 20:16:00 +00:00

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