Frederik Rietdijk e0950ae9ad Merge master into staging-next		2018-12-08 12:40:13 +01:00
..
astronomy	gildas: 20181101_a -> 20181201_a	2018-12-06 12:02:05 +01:00
biology	Merge staging-next into staging	2018-11-29 09:18:35 +01:00
chemistry
electronics	Treewide: use HTTPS on GNU domains	2018-12-02 15:51:59 +01:00
geometry
logic	z3: 4.8.1 -> 4.8.3	2018-11-27 22:00:19 -06:00
machine-learning
math	Merge master into staging-next	2018-12-03 12:18:43 +01:00
medicine/aliza
misc	Treewide: use HTTPS on SourceForge	2018-12-02 15:33:08 +01:00
molecular-dynamics
physics
programming
robotics
spyder