Gabriel Ebner b27b115b41 Merge pull request #154272 from jvanbruegge/isabelle-build-hol ... isabelle: Prebuild HOL session		2022-01-26 16:37:18 +01:00
..
astronomy	gprojector: init at 3.0.2 (#154932)	2022-01-23 04:04:10 +01:00
biology	star: 2.7.9a -> 2.7.10a	2022-01-24 19:51:44 +01:00
chemistry	molden: fix download URL	2022-01-20 15:47:46 +01:00
electronics	kicad: enable i18n by default (#155065)	2022-01-18 13:06:30 -05:00
geometry	gama: 2.14 -> 2.16	2021-12-10 22:15:01 +00:00
logic	Merge pull request #154272 from jvanbruegge/isabelle-build-hol	2022-01-26 16:37:18 +01:00
machine-learning	shogun: fix CMake targets	2022-01-22 18:41:49 -03:00
math	mathematica: Refactor install process with autoPatchelfHook (#154295)	2022-01-19 12:35:38 -05:00
medicine	treewide: use mirror URLs where available	2021-11-06 01:56:39 +00:00
misc	cwltool: 3.1.20220119140128 -> 3.1.20220124184855	2022-01-25 21:56:09 -05:00
molecular-dynamics	gromacs: 2021.4 -> 2021.5	2022-01-17 15:50:31 +01:00
networking/sumo	sumo: 1.8.0 -> 1.9.2	2021-06-29 11:24:41 +02:00
physics	sherpa: 2.2.11 -> 2.2.12	2022-01-20 08:36:02 -05:00
programming	scyther: remove since it only supports Python 2	2021-12-07 17:58:03 +01:00
robotics	betaflight-configurator: 10.7.1 -> 10.7.2	2022-01-15 23:12:31 +01:00