Damien Cassou 8f7d11e39c Merge pull request #14468 from vbgl/why3-0.87 ... why3: 0.86.3 -> 0.87.0		2016-04-05 19:15:52 +02:00
..
astronomy	stellarium: update to 0.14.2	2016-03-04 23:05:48 +01:00
biology	minc-tools: init at 2.3.00	2016-02-23 14:03:56 -05:00
chemistry/avogadro
electronics	kicad: 2013 stable -> 4.0.2	2016-03-31 15:29:39 +02:00
geometry	drgeo: reimplement using mkDerivation	2015-11-24 14:45:15 +01:00
logic	Merge pull request #14468 from vbgl/why3-0.87	2016-04-05 19:15:52 +02:00
machine-learning/torch	torch: add unsup package	2016-03-22 22:20:45 +03:00
math	lp_solve: mark as broken	2016-03-19 12:46:22 +01:00
misc	pkgs.motuclient: move application away from pythonPackages	2016-03-02 09:41:02 +01:00
molecular-dynamics	lammps: init at 2016-02-16	2016-04-01 18:37:52 -04:00
programming/plm
robotics	gazebo: init at 6.5.1 and 7.0.0	2016-03-28 11:44:37 -07:00
spyder	buildPythonApplication: use new function for Python applications	2016-02-19 13:16:41 +01:00