Michael Raskin 9d92fe013e Adding E-KRHyper theorem prover

2013-05-09 17:47:58 +04:00

..

astronomy

stellarium: update to version 0.11.4a

2013-01-19 02:26:03 +01: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

kicad: upgrade to stable version 20130325, libraries to r220

2013-03-31 19:17:02 -07:00

geometry

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

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

logic

Adding E-KRHyper theorem prover

2013-05-09 17:47:58 +04:00

math

wxmaxima: don't try to build this package on FreeBSD

2013-03-22 12:53:07 +01: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

spyder: create desktop menu item

2013-05-06 20:52:58 +02:00