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	aliza: 1.98.43 -> 1.98.57	2021-03-27 23:49:33 +01:00
misc	rink: specify license	2021-04-11 23:18:32 +02:00
molecular-dynamics	mpi: use mpi attribute consistently as the default MPI implementations	2021-01-23 12:15:13 +01:00
networking/sumo	sumo: init at 1.8.0	2021-03-22 12:17:15 +01:00
physics	sherpa: compile with --enable-pythia flag	2021-04-13 09:34:42 -04:00
programming	treewide: makeWrapper buildInputs to nativeBuildInputs	2021-02-19 20:09:16 +07:00
robotics	sumorobot-manager: fix compilation	2021-05-02 00:12:19 +00:00