Gabriel Ebner 530a9ab981 Merge remote-tracking branch 'vbgl/why3-0.87.1'		2016-07-18 13:33:50 +02:00
..
astronomy	treewide: Make explicit that 'dev' output of atk is used	2016-05-19 10:00:25 +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	Merge remote-tracking branch 'vbgl/why3-0.87.1'	2016-07-18 13:33:50 +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