Gabriel Ebner 7fb27d1c22 Merge pull request #153190 from jvanbruegge/isabelle-vampire ... isabelle: Use vampire and eprover from nixpkgs		2022-01-02 22:56:09 +01:00
..
astronomy	stellarium: 0.21.2 -> 0.21.3	2021-12-25 16:54:34 +01:00
biology	stacks: 2.59 -> 2.60	2022-01-02 19:23:58 +01:00
chemistry	jmol: 14.32.2 -> 14.32.6	2021-12-30 20:51:37 +00:00
electronics	Merge pull request #152149 from evils/kicad	2021-12-27 14:11:05 -05:00
geometry	gama: 2.14 -> 2.16	2021-12-10 22:15:01 +00:00
logic	Merge pull request #153190 from jvanbruegge/isabelle-vampire	2022-01-02 22:56:09 +01:00
machine-learning	Merge pull request #149135 from r-ryantm/auto-update/finalfusion-utils	2022-01-01 20:45:37 +08:00
math	Merge pull request #152932 from r-ryantm/auto-update/calc	2021-12-31 20:39:26 +07:00
medicine	treewide: use mirror URLs where available	2021-11-06 01:56:39 +00:00
misc	treewide: fix homepages with permanent redirect to https	2021-12-29 22:06:47 +07:00
molecular-dynamics	llvmPackages.libcxx: unset _LIBCPP_USE_AVAILABILITY_APPLE	2021-12-18 10:09:25 -05:00
networking/sumo	sumo: 1.8.0 -> 1.9.2	2021-06-29 11:24:41 +02:00
physics	elmerfem: 8.4 -> 9.0	2021-12-26 20:29:41 +01:00
programming	scyther: remove since it only supports Python 2	2021-12-07 17:58:03 +01:00
robotics	Merge pull request #147367 from TilCreator/package-inav-configurator	2022-01-01 14:05:44 +01:00