Vincent Laporte 014a30da93 why3: 0.86.2 -> 0.86.3 ... And merge with ocamlPackages.why3 (the OCaml library would not work correctly if packaged separately).		2016-03-04 09:29:10 +01:00
..
astronomy	refactor to use autoreconfHook where possible	2016-01-18 10:45:31 +01:00
biology	minc-tools: init at 2.3.00	2016-02-23 14:03:56 -05:00
chemistry/avogadro	avogadro: build documentation	2013-12-18 18:18:22 +02:00
electronics	gtkwave: update to 3.3.70	2016-03-02 12:42:20 +01:00
geometry	drgeo: reimplement using mkDerivation	2015-11-24 14:45:15 +01:00
logic	why3: 0.86.2 -> 0.86.3	2016-03-04 09:29:10 +01:00
math	Remove all dots at end of descriptions	2016-02-27 17:30:29 +00:00
misc	pkgs.motuclient: move application away from pythonPackages	2016-03-02 09:41:02 +01:00
molecular-dynamics/gromacs	gromacs: 4.6.5 -> 4.6.7 + MPI support	2016-02-24 10:34:22 +01:00
programming/plm	Revert "Added K Framework package."	2015-08-29 15:38:33 +02:00
spyder	buildPythonApplication: use new function for Python applications	2016-02-19 13:16:41 +01:00