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	QtRVSim: 0.9.2 -> 0.9.3	2022-04-25 14:38:39 +03:00
electronics	Merge pull request #183690 from r-ryantm/auto-update/openhantek6022	2022-08-28 14:22:00 +02:00
engineering	strictdoc: init at 0.0.26	2022-07-16 19:19:32 -03:00
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	treewide/applications: add sourceType binaryNativeCode for many packages	2022-06-23 18:38:19 +01:00
misc	FAHClient: 7.6.13 -> 7.6.21 (#188476)	2022-08-29 19:51:58 +02:00
molecular-dynamics	gromacs: 2022.1 -> 2022.2	2022-06-17 10:54:56 +02:00
networking/sumo
physics	dawn: init at 3.91a	2022-06-16 19:05:08 -04:00
programming	jflap: refactoring, add xdg desktop item (#173905)	2022-07-16 01:39:21 +02:00
robotics	Merge pull request #183893 from r-ryantm/auto-update/emuflight-configurator	2022-08-22 16:07:10 +02:00