kilianar 2b3ec1d37a lean: 3.47.0 -> 3.48.0 ... https://github.com/leanprover-community/lean/releases/tag/v3.48.0		2022-08-31 11:32:21 +02:00
..
astronomy	Merge pull request #184713 from r-ryantm/auto-update/siril	2022-08-21 18:13:09 +02:00
biology	Merge pull request #168109 from r-ryantm/auto-update/bcftools	2022-08-27 08:51:34 +02:00
chemistry	Merge pull request #184218 from r-ryantm/auto-update/gwyddion	2022-08-28 13:01:46 +02:00
computer-architecture/qtrvsim
electronics	Merge pull request #183690 from r-ryantm/auto-update/openhantek6022	2022-08-28 14:22:00 +02:00
engineering
geometry	gama: 2.19 -> 2.21	2022-07-31 09:39:15 +00:00
logic	lean: 3.47.0 -> 3.48.0	2022-08-31 11:32:21 +02:00
machine-learning	streamlit: 1.11.1 -> 1.12.2	2022-08-27 17:30:12 +00:00
math	Merge pull request #186564 from Artturin/crossevalfixes	2022-08-27 17:49:00 +03:00
medicine
misc	FAHClient: 7.6.13 -> 7.6.21 (#188476)	2022-08-29 19:51:58 +02:00
molecular-dynamics
networking/sumo
physics
programming
robotics	Merge pull request #183893 from r-ryantm/auto-update/emuflight-configurator	2022-08-22 16:07:10 +02:00