Eelco Dolstra 9c60061edc Merge pull request #165730 from ConnorBaker/z3_versions ... z3: init 4.8.15, 4.7.1		2022-04-06 12:47:33 +02:00
..
astronomy	openspace: remove after being marked broken for over two years	2022-04-03 16:14:56 +01:00
biology	ncbi_tools: remove after being marked broken for over two years	2022-04-03 16:14:18 +01:00
chemistry	jmol: 14.32.39 -> 14.32.45	2022-04-04 22:28:33 +00:00
computer-architecture/qtrvsim
electronics	eagle7: drop	2022-04-04 15:10:44 +01:00
geometry
logic	Merge pull request #165730 from ConnorBaker/z3_versions	2022-04-06 12:47:33 +02:00
machine-learning
math	Merge pull request #167192 from jb55/remove-me	2022-04-04 17:36:00 +02:00
medicine
misc	Merge pull request #167069 from r-ryantm/auto-update/bada-bib	2022-04-04 13:51:15 -07:00
molecular-dynamics
networking/sumo
physics
programming
robotics