superherointj 2a7368c1a1 Merge pull request #188553 from marsam/update-lean ... lean: 3.46.0 -> 3.47.0		2022-08-28 19:42:11 -03: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
logic	lean: 3.46.0 -> 3.47.0	2022-08-27 04:20:00 +00:00
machine-learning
math	Merge pull request #186564 from Artturin/crossevalfixes	2022-08-27 17:49:00 +03:00
medicine
misc	Merge pull request #186564 from Artturin/crossevalfixes	2022-08-27 17:49:00 +03: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