Sandro 73ad08e512 Merge pull request #135481 from kzvi/lean-update ... lean: 3.31.0 -> 3.32.1		2021-08-25 00:43:28 +02:00
..
astronomy	treewide: convert all links git.archlinux.org to github.com/archlinux/svntogit-*	2021-07-14 03:35:21 +02:00
biology	Merge pull request #135212 from r-ryantm/auto-update/stacks	2021-08-24 09:03:17 -07:00
chemistry	pymol: 2.3.0 -> 2.5.0	2021-08-19 10:16:38 +03:00
electronics	eagle: put the desktop icon where it can be found	2021-08-22 17:12:24 +02:00
geometry	gama: 2.12 -> 2.14	2021-08-09 00:26:53 +00:00
logic	lean: 3.31.0 -> 3.32.1	2021-08-23 15:43:00 -07:00
machine-learning	vowpal-wabbit: 8.10.0 -> 8.11.0	2021-08-17 15:59:33 +00:00
math	nasc: 0.7.5 -> 0.8.0	2021-08-23 23:23:52 +02:00
medicine
misc	Merge pull request #130903 from veprbl/pr/cwltool	2021-08-08 11:15:33 -04:00
molecular-dynamics
networking/sumo	sumo: 1.8.0 -> 1.9.2	2021-06-29 11:24:41 +02:00
physics	treewide: ensure pre/post phase hooks are strings	2021-08-20 19:08:42 -04:00
programming	plm: fix old link & deprecate phases	2021-08-08 23:53:53 +02:00
robotics	mavproxy: 1.8.39 -> 1.8.40	2021-07-31 18:40:30 -04:00