Gergely Risko b43347342b Add platforms to coq, so it's built on Hydra

2013-08-28 21:35:07 +02:00

..

astronomy

celestia: fix compilation and linking after x-updates merge

2013-06-18 13:11:03 +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: bump version 6.4.0 -> 6.5.0

2013-08-25 20:42:51 +02:00

geometry

Change more packages from direct downloads to mirror://sourceforge

2013-07-14 02:48:32 +03:00

logic

Add platforms to coq, so it's built on Hydra

2013-08-28 21:35:07 +02:00

math

maxima: add $out/bin to $PATH in the maxima wrapper scripts

2013-08-28 16:33:53 +02:00

misc

unmaintain several packages

2013-08-16 23:45:01 +02:00

molecular-dynamics/gromacs

fix bad "licence" names

2013-07-04 18:16:34 +02:00

spyder

Fix maintainers attribute

2013-05-21 09:20:00 +02:00