Mario Rodas b9a67f7317 lean4: fix build on darwin		2023-11-23 04:20:00 +00:00
..
astronomy	stellarium: fix version	2023-11-07 21:23:26 +01:00
biology	treewide: s_targetPlatform_hostPlatform_ in non-compiler packages	2023-11-17 08:07:34 +00:00
chemistry	jmol: 16.1.43 -> 16.1.45	2023-11-22 08:17:54 -08:00
computer-architecture
electronics	update sources	2023-11-18 11:37:58 +00:00
engineering
geometry	gama: 2.26 -> 2.27	2023-11-22 08:06:27 -08:00
logic	lean4: fix build on darwin	2023-11-23 04:20:00 +00:00
machine-learning
math	maintainers: remove jfrankenau	2023-11-20 08:44:58 +01:00
medicine
misc	snakemake: 7.29.0 -> 7.32.4 (#266543)	2023-11-10 06:48:45 -05:00
molecular-dynamics
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