Mario Rodas c462586977 Merge pull request #271084 from marsam/update-lean4 ... lean4: 4.2.0 -> 4.3.0		2023-11-30 02:30:54 -05:00
..
astronomy	Merge pull request #269115 from r-ryantm/auto-update/phd2	2023-11-27 21:11:38 +01:00
biology	mosdepth: build with a lockfile	2023-11-28 16:48:10 +02:00
chemistry	jmol: 16.1.43 -> 16.1.45	2023-11-22 08:17:54 -08:00
computer-architecture
electronics	magic-vlsi: 8.3.447 -> 8.3.449	2023-11-25 22:13:26 -03:00
engineering
geometry	gama: 2.26 -> 2.27	2023-11-22 08:06:27 -08:00
logic	Merge pull request #271084 from marsam/update-lean4	2023-11-30 02:30:54 -05:00
machine-learning
math	mathematica: add rafaelrc to maintainers	2023-11-27 17:10:58 -03:00
medicine
misc	fahclient: 7.6.21 -> 8.1.18 (#246832)	2023-11-27 14:20:58 +01:00
molecular-dynamics	gromacs: add the plumed patches	2023-11-15 18:28:24 +01:00
networking/sumo
physics	xflr5: 6.47 -> 6.61	2023-11-20 18:45:41 +01:00
programming	maintainers: remove jfrankenau	2023-11-20 08:44:58 +01:00
robotics	qgroundcontrol: 4.2.8 -> 4.2.9	2023-10-23 00:17:20 +00:00