Mario Rodas 3ada8a22ba Merge pull request #285422 from marsam/update-lean4 ... lean4: 4.4.0 -> 4.5.0		2024-02-01 05:39:59 -05:00
..
astronomy	Merge pull request #277673 from r-ryantm/auto-update/phd2	2024-01-05 00:59:42 +01:00
biology	Merge pull request #222817 from SuperSandro2000/python-sitePackages	2024-01-31 16:34:30 +01:00
chemistry	Merge pull request #284940 from r-ryantm/auto-update/mopac	2024-01-30 13:08:13 +01:00
computer-architecture	qtrvsim: 0.9.5 -> 0.9.6	2023-12-23 03:21:44 +00:00
electronics	Merge pull request #284388 from evils/kicad	2024-01-30 09:15:53 +01:00
engineering
geometry	gama: 2.26 -> 2.27	2023-11-22 08:06:27 -08:00
logic	Merge pull request #285422 from marsam/update-lean4	2024-02-01 05:39:59 -05:00
machine-learning	Merge pull request #279367 from Stunkymonkey/sip4-normalize	2024-01-14 13:16:56 +01:00
math	eigenmath: unstable-2024-01-22 -> unstable-2024-01-23	2024-01-28 04:04:14 +00:00
medicine	dcmtk: 3.6.7 -> 3.6.8	2024-01-06 23:03:08 +01:00
misc	root: 6.30.02 -> 6.30.04 (#285339)	2024-01-31 15:25:14 -05:00
molecular-dynamics	lammps: fix homepage and license	2023-12-24 23:05:00 +01:00
networking/sumo	sumo: 1.18.0 -> 1.19.0	2023-11-08 23:02:41 +00:00
physics	nnpdf: 4.0.7 -> 4.0.8	2024-01-24 12:00:37 -05:00
programming	maintainers: remove jfrankenau	2023-11-20 08:44:58 +01:00
robotics	mujoco: 3.1.0 -> 3.1.1	2024-01-21 12:24:04 +01:00