Gabriel Ebner 62458574e3 Merge pull request #121361 from r-ryantm/auto-update/lean ... lean: 3.29.0 -> 3.30.0		2021-05-03 11:13:53 +02:00
..
astronomy	celestia: 1.6.1 -> 1.6.2.2 (#117999)	2021-04-12 20:17:17 +02:00
biology	dcm2niix: 1.0.20201102 -> 1.0.20210317	2021-05-02 11:10:40 +00:00
chemistry	jmol: 14.31.35 -> 14.31.36	2021-04-29 12:39:03 +00:00
electronics	kicad: fix license	2021-04-10 20:39:02 +02:00
geometry	tetgen: 1.5.1 -> 1.6.0	2021-04-26 01:32:28 -04:00
logic	lean: 3.29.0 -> 3.30.0	2021-05-01 05:49:45 +00:00
machine-learning	lzma: deprecate alias	2021-04-04 19:49:52 +02:00
math	Merge pull request #120613 from erikbackman/master	2021-05-01 18:42:40 +02:00
medicine
misc	rink: specify license	2021-04-11 23:18:32 +02:00
molecular-dynamics
networking/sumo
physics	sherpa: compile with --enable-pythia flag	2021-04-13 09:34:42 -04:00
programming
robotics	sumorobot-manager: fix compilation	2021-05-02 00:12:19 +00:00