Gabriel Ebner f970bc67c7 lean: 20160117 -> 2016-07-05 ... Fixes #17260.		2016-07-27 11:01:45 +02:00
..
astronomy	stellarium: 0.14.2 -> 0.14.3	2016-07-22 23:13:35 +02:00
biology	igv: init at 2.3.77	2016-06-26 19:27:56 +02:00
chemistry/avogadro	avogadro: build documentation	2013-12-18 18:18:22 +02:00
electronics	fritzing: fix qmake4Hook build	2016-07-17 22:40:27 +08:00
geometry	drgeo: reimplement using mkDerivation	2015-11-24 14:45:15 +01:00
logic	lean: 20160117 -> 2016-07-05	2016-07-27 11:01:45 +02:00
machine-learning/torch	replace makeSearchPath tree-wise to take care of possible multiple outputs	2016-04-13 22:09:41 +03:00
math	jags: 3.4.0 -> 4.1.0 (#16804)	2016-07-18 13:11:18 +02:00
misc	gephi: init at 0.9.1 (#16071)	2016-06-26 22:40:00 +02:00
molecular-dynamics	lammps: init at 2016-02-16	2016-04-01 18:37:52 -04:00
programming/plm	Revert "Added K Framework package."	2015-08-29 15:38:33 +02:00
robotics	Merge 'master' into staging and re-revert merge	2016-06-23 12:09:03 +02:00
spyder	Python: use PyPI mirror (#15001)	2016-04-26 13:38:03 +01:00