Gabriel Ebner f056e64e5b Merge pull request #180766 from jvierling/metis-prover ... metis-prover: 2.3.20160713 -> 2.4.20200713		2022-08-10 13:02:34 +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
computer-architecture/qtrvsim
electronics	xschem: 3.0.0 -> 3.1.0	2022-08-06 09:02:23 +00:00
engineering
geometry
logic	Merge pull request #180766 from jvierling/metis-prover	2022-08-10 13:02:34 +02:00
machine-learning
math	Merge pull request #184250 from r-ryantm/auto-update/JAGS	2022-08-05 19:37:07 +08:00
medicine
misc
molecular-dynamics
networking/sumo
physics
programming
robotics