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
chemistry/avogadro
electronics	fritzing: fix qmake4Hook build	2016-07-17 22:40:27 +08:00
geometry
logic	lean: 20160117 -> 2016-07-05	2016-07-27 11:01:45 +02:00
machine-learning/torch
math	jags: 3.4.0 -> 4.1.0 (#16804)	2016-07-18 13:11:18 +02:00
misc
molecular-dynamics
programming/plm
robotics
spyder