Mario Rodas 4ca2b298cc lean4: 4.6.0 -> 4.6.1 ... Diff: https://github.com/leanprover/lean4/compare/v4.6.0...v4.6.1 Changelog: https://github.com/leanprover/lean4/blob/v4.6.1/RELEASES.md		2024-03-04 04:20:00 +00:00
..
astronomy	gnuastro: add meta.changelog	2024-02-05 18:44:12 +04:00
biology	Merge pull request #289911 from r-ryantm/auto-update/last	2024-03-01 08:59:19 +11:00
chemistry	Merge pull request #288514 from sheepforce/avogadro2	2024-02-20 14:25:01 +01:00
computer-architecture	Merge pull request #288000 from trofi/timeloop-gcc-13-fix	2024-02-17 07:19:06 -05:00
electronics	gnucap: move to by-name	2024-02-23 12:01:37 +01:00
engineering	strictdoc: refactor	2024-02-21 17:33:31 +01:00
geometry	gama: fix build on aarch64-darwin	2024-01-28 08:25:53 +01:00
logic	lean4: 4.6.0 -> 4.6.1	2024-03-04 04:20:00 +00:00
machine-learning	starspace: mark broken	2024-02-24 22:44:20 +00:00
math	wxmaxima: 24.02.1 -> 24.02.2	2024-03-01 13:40:14 +00:00
medicine	dcmtk: 3.6.7 -> 3.6.8	2024-01-06 23:03:08 +01:00
misc	Merge pull request #287403 from trofi/graphia-gcc-13-fix-update	2024-03-01 23:26:37 -05:00
molecular-dynamics	lammps-mpi: 2Aug2023_update2 -> 2Aug2023_update3	2024-03-02 20:33:42 +00:00
networking/sumo	sumo: 1.18.0 -> 1.19.0	2023-11-08 23:02:41 +00:00
physics	nnpdf: 4.0.8 -> 4.0.9	2024-03-01 12:36:01 -05:00
programming	maintainers: remove jfrankenau	2023-11-20 08:44:58 +01:00
robotics	mujoco: 3.1.1 -> 3.1.2	2024-02-07 09:58:51 +01:00