Gabriel Ebner 6d22203168 Merge pull request #101010 from r-ryantm/auto-update/lean ... lean: 3.19.0 -> 3.21.0		2020-10-18 20:10:42 +02:00
..
astronomy	stellarium: enable on darwin	2020-09-27 17:00:10 -04:00
biology	treewide: remove periods from end of package descriptions	2020-10-17 08:22:31 -07:00
chemistry	jmol: 14.31.2 -> 14.31.3	2020-09-23 23:36:41 -07:00
electronics	Merge pull request #85456 from matthuszagh/kicad-libraries	2020-10-17 20:31:38 +03:00
geometry	gama: init at 2.09	2020-07-18 18:58:22 +01:00
logic	lean: 3.19.0 -> 3.21.0	2020-10-18 17:00:15 +00:00
machine-learning	streamlit: fix build	2020-09-15 11:19:26 -07:00
math	treewide: remove periods from end of package descriptions	2020-10-17 08:22:31 -07:00
medicine	aliza: 1.48.10 -> 1.98.32	2020-08-10 11:16:16 +02:00
misc	fahclient: 7.6.9 -> 7.6.13 (#99595)	2020-10-05 14:40:10 +02:00
molecular-dynamics	gromacs: 2020.2 -> 2020.3	2020-07-13 07:11:49 +00:00
physics	treewide: remove periods from end of package descriptions	2020-10-17 08:22:31 -07:00
programming	treewide: remove periods from end of package descriptions	2020-10-17 08:22:31 -07:00
robotics	mavproxy: 1.8.19 -> 1.8.22	2020-10-15 05:05:52 +00:00