Janik 41ebe3a503 Merge pull request #245958 from whonore/update-dafny-4.2.0		2023-07-29 21:05:23 +02:00
..
astronomy	Merge pull request #241272 from kilianar/stellarium-23.2	2023-07-04 10:34:33 +08:00
biology	last: 1456 -> 1460	2023-07-25 04:34:13 +00:00
chemistry	ergoscf: disable fortify3 hardening flag	2023-07-12 21:32:09 -07:00
computer-architecture
electronics	kingstvis: init at 3.6.1	2023-07-25 13:04:12 +02:00
engineering	strictdoc: 0.0.26 -> 0.0.40	2023-05-17 20:34:49 +02:00
geometry	antiprism: 0.29 -> 0.30	2023-05-13 13:57:15 -03:00
logic	dafny: 4.0.0 -> 4.2.0	2023-07-28 17:11:46 -04:00
machine-learning	streamlit: 1.21.0 -> 1.24.0 (#240248)	2023-06-28 17:08:47 +02:00
math	Merge pull request #244655 from oddlama/init-insightface	2023-07-29 20:49:19 +02:00
medicine
misc	Merge pull request #244146 from GiggleSquid/pkgs/boinc-headless	2023-07-29 12:52:12 +02:00
molecular-dynamics	Merge pull request #224068 from SomeoneSerge/respect-config-cudaSupport	2023-07-25 14:18:14 -04:00
networking/sumo	sumo: 1.17.0 -> 1.18.0	2023-07-17 21:12:36 +00:00
physics	crystfel: fix x86_64 hash (#238606)	2023-06-20 08:32:03 +02:00
programming
robotics	qgroundcontrol: 4.2.6 -> 4.2.8	2023-07-17 18:17:29 +00:00