Gabriel Ebner 3aa72cc471 Merge pull request #157515 from jvanbruegge/isabelle-naproche ... isabelle: Enable and use naproche from nixpkgs		2022-03-20 18:26:33 +01:00
..
astronomy	Merge pull request #163638 from r-ryantm/auto-update/siril	2022-03-15 14:56:47 -07:00
biology	angsd: init at 0.937	2022-03-04 09:17:35 -06:00
chemistry	jmol: 14.32.30 -> 14.32.33	2022-03-13 16:20:57 +00:00
computer-architecture/qtrvsim	QtRVSim: 0.9.1 -> 0.9.2	2022-03-14 22:04:17 +02:00
electronics	gaw: 20200922 -> 20220315	2022-03-16 08:01:53 +01:00
geometry	Merge pull request #160340 from helsinki-systems/tetgen	2022-02-17 01:57:18 +01:00
logic	Merge pull request #157515 from jvanbruegge/isabelle-naproche	2022-03-20 18:26:33 +01:00
machine-learning	vowpal-wabbit: 8.11.0 -> 9.0.1	2022-02-03 02:08:33 +00:00
math	qalculate-gtk: 4.0.0 -> 4.1.0	2022-03-20 16:04:47 +08:00
medicine	treewide: use mirror URLs where available	2021-11-06 01:56:39 +00:00
misc	bada-bib: 0.5.1 -> 0.6.0	2022-03-15 12:50:26 +01:00
molecular-dynamics	gromacs: 2021.5 -> 2022	2022-02-23 14:47:26 +01:00
networking/sumo	sumo: 1.8.0 -> 1.9.2	2021-06-29 11:24:41 +02:00
physics	shtns: init at 3.5.1 (#151061)	2022-01-31 21:28:05 +01:00
programming	treewide: switch all desktop file generators to new API	2022-02-25 13:40:38 -08:00
robotics	mission-planner: 1.3.74 -> 1.3.76	2022-02-21 09:51:16 +01:00