Weijia Wang 40f9f30edf Merge pull request #292724 from r-ryantm/auto-update/cvc5 ... cvc5: 1.1.1 -> 1.1.2		2024-03-08 08:48:25 +01:00
..
astronomy
biology	Merge pull request #285423 from r-ryantm/auto-update/diamond	2024-03-07 11:24:20 +01:00
chemistry
computer-architecture
electronics	Merge pull request #291482 from r-ryantm/auto-update/verilator	2024-03-07 08:08:34 +01:00
engineering	strictdoc: refactor	2024-02-21 17:33:31 +01:00
geometry
logic	Merge pull request #292724 from r-ryantm/auto-update/cvc5	2024-03-08 08:48:25 +01:00
machine-learning	starspace: mark broken	2024-02-24 22:44:20 +00:00
math	Merge pull request #293432 from alois31/geogebra-3d	2024-03-07 19:53:05 +01:00
medicine
misc	Merge pull request #287403 from trofi/graphia-gcc-13-fix-update	2024-03-01 23:26:37 -05:00
molecular-dynamics	gromacs: 2024 -> 2024.1	2024-03-05 14:38:54 +01:00
networking/sumo
physics	nnpdf: 4.0.8 -> 4.0.9	2024-03-01 12:36:01 -05:00
programming
robotics	mujoco: 3.1.2 -> 3.1.3	2024-03-07 15:41:37 +01:00