Marco Maggesi fa2d85fded Update HOL Light to rev 157		2013-03-25 10:56:57 +01: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	qucs: minor update and fix for new gcc	2013-02-24 15:11:19 +01:00
geometry
logic	Update HOL Light to rev 157	2013-03-25 10:56:57 +01:00
math	wxmaxima: don't try to build this package on FreeBSD	2013-03-22 12:53:07 +01:00
misc	Merge branch 'master' into stdenv-updates.	2013-01-11 15:46:10 +01:00
molecular-dynamics/gromacs	remove reference to meta.nix	2012-11-23 15:46:49 +01:00