Gabriel Ebner 8934eb7c91 Merge pull request #157843 from jvanbruegge/isabelle_setup ... isabelle: Rebuild isabelle_setup.jar		2022-03-01 12:11:25 +01:00
..
astronomy	treewide: switch all desktop file generators to new API	2022-02-25 13:40:38 -08:00
biology	raxml-mpi: remove appendToName to have a consistent package name for repology	2022-02-28 12:46:15 +01:00
chemistry	treewide: fix versions starting with 'v'	2022-02-28 13:05:18 +01:00
electronics	treewide: switch all desktop file generators to new API	2022-02-25 13:40:38 -08:00
geometry	Merge pull request #160340 from helsinki-systems/tetgen	2022-02-17 01:57:18 +01:00
logic	Merge pull request #157843 from jvanbruegge/isabelle_setup	2022-03-01 12:11:25 +01:00
machine-learning
math	Merge pull request #161876 from FRidh/sage-python	2022-02-27 19:02:59 +00:00
medicine
misc	treewide: switch all desktop file generators to new API	2022-02-25 13:40:38 -08:00
molecular-dynamics	gromacs: 2021.5 -> 2022	2022-02-23 14:47:26 +01:00
networking/sumo
physics
programming	treewide: switch all desktop file generators to new API	2022-02-25 13:40:38 -08:00
robotics	qgroundcontrol: 4.1.4 -> 4.2.0	2022-02-18 00:09:39 +01:00