R. Ryantm 5098005a85 lean4: 4.3.0 -> 4.4.0		2023-12-22 06:12:02 +00:00
..
astronomy	Merge pull request #269115 from r-ryantm/auto-update/phd2	2023-11-27 21:11:38 +01:00
biology	Merge pull request #274810 from r-ryantm/auto-update/messer-slim	2023-12-21 10:58:25 +09:00
chemistry	avogadro2: 1.97.0 -> 1.98.1	2023-12-18 14:21:12 +01:00
computer-architecture
electronics	Merge pull request #274736 from r-ryantm/auto-update/magic-vlsi	2023-12-19 15:51:26 +09:00
engineering	strictdoc: 0.0.26 -> 0.0.40	2023-05-17 20:34:49 +02:00
geometry	gama: 2.26 -> 2.27	2023-11-22 08:06:27 -08:00
logic	lean4: 4.3.0 -> 4.4.0	2023-12-22 06:12:02 +00:00
machine-learning	streamlit: manage as python-modules	2023-08-06 22:55:01 +09:00
math	eigenmath: unstable-2023-12-11 -> unstable-2023-12-12	2023-12-14 13:59:07 +00:00
medicine	Merge pull request #253169 from flokli/xmedcon-cherrypick	2023-09-05 23:50:15 +02:00
misc	root: 6.28.10 -> 6.30.02 (#274348)	2023-12-17 05:20:40 -05:00
molecular-dynamics	Merge pull request #274646 from r-ryantm/auto-update/lammps-mpi	2023-12-18 08:49:41 +00:00
networking/sumo	sumo: 1.18.0 -> 1.19.0	2023-11-08 23:02:41 +00:00
physics	nnpdf: 4.0.6 -> 4.0.7	2023-12-18 04:59:18 -05:00
programming	maintainers: remove jfrankenau	2023-11-20 08:44:58 +01:00
robotics	mujoco: 3.0.1 -> 3.1.0	2023-12-16 11:30:45 +01:00