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
electronics	fritzing: fix qmake4Hook build	2016-07-17 22:40:27 +08:00
geometry
logic	Merge remote-tracking branch 'vbgl/why3-0.87.1'	2016-07-18 13:33:50 +02:00
machine-learning/torch
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
programming/plm
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