Mario Rodas 79f057e2eb lean: 3.5.1 -> 3.6.0		2020-02-26 18:00:00 -05:00
..
astronomy	gildas: 20200101_a -> 20200201_a	2020-02-20 15:28:57 +01:00
biology	Merge pull request #80292 from bcdarwin/mrtrix	2020-02-24 13:52:38 +01:00
chemistry	marvin: 20.3.0 -> 20.4.0	2020-02-10 19:55:13 +01:00
electronics	gtkwave: 3.3.103 -> 3.3.104	2020-02-24 11:43:54 -06:00
geometry	tetgen: 1.5.0 -> 1.5.1	2020-01-30 12:47:50 +00:00
logic	lean: 3.5.1 -> 3.6.0	2020-02-26 18:00:00 -05:00
machine-learning	shogun: 6.0.0 -> 6.1.4	2020-02-21 11:05:09 +01:00
math	Merge pull request #80759 from Thra11/fix-r	2020-02-23 23:48:21 +00:00
medicine	Merge staging-next into staging	2019-11-19 14:53:29 +01:00
misc	treewide: change fetchCargoTarball default to opt-out	2020-02-13 22:41:37 -08:00
molecular-dynamics	gromacs: 2019.4 -> 2020	2020-01-06 04:30:02 -08:00
physics	sherpa: 2.2.6 -> 2.2.8 (#78852)	2020-01-30 13:08:47 -05:00
programming
robotics	treewide: fix redirected urls	2020-01-22 11:26:22 +01:00