kilianar 3bf4c6f470 lean: 3.45.0 -> 3.46.0 ... https://github.com/leanprover-community/lean/releases/tag/v3.46.0		2022-08-09 22:21:39 +02:00
..
astronomy	Merge pull request #184937 from r-ryantm/auto-update/gprojector	2022-08-07 16:13:26 +08:00
biology	Merge pull request #184334 from r-ryantm/auto-update/mafft	2022-08-07 16:18:05 +08:00
chemistry	jmol: 14.32.45 -> 14.32.66	2022-07-31 15:48:05 +00:00
computer-architecture/qtrvsim	QtRVSim: 0.9.2 -> 0.9.3	2022-04-25 14:38:39 +03:00
electronics	xschem: 3.0.0 -> 3.1.0	2022-08-06 09:02:23 +00:00
engineering	strictdoc: init at 0.0.26	2022-07-16 19:19:32 -03:00
geometry	gama: 2.19 -> 2.21	2022-07-31 09:39:15 +00:00
logic	lean: 3.45.0 -> 3.46.0	2022-08-09 22:21:39 +02:00
machine-learning	Merge branch 'master' into staging-next	2022-07-13 09:57:41 +02:00
math	Merge pull request #184250 from r-ryantm/auto-update/JAGS	2022-08-05 19:37:07 +08:00
medicine	treewide/applications: add sourceType binaryNativeCode for many packages	2022-06-23 18:38:19 +01:00
misc	root: 6.26.04 -> 6.26.06	2022-07-31 19:43:07 -04:00
molecular-dynamics	gromacs: 2022.1 -> 2022.2	2022-06-17 10:54:56 +02:00
networking/sumo
physics	dawn: init at 3.91a	2022-06-16 19:05:08 -04:00
programming	jflap: refactoring, add xdg desktop item (#173905)	2022-07-16 01:39:21 +02:00
robotics	Merge pull request #180052 from lopsided98/qgroundcontrol-update	2022-08-01 23:51:06 +02:00