Sandro 9b8e8b2047 Merge pull request #130193 from Stunkymonkey/verifast-phases ... verifast: deprecate phases		2021-07-15 23:40:17 +02:00
..
astronomy	treewide: convert all links git.archlinux.org to github.com/archlinux/svntogit-*	2021-07-14 03:35:21 +02:00
biology	truvari: 2.0.2 -> 2.1.1 (#126839)	2021-06-15 22:14:20 +02:00
chemistry	octopus: cleanup derivation	2021-07-12 14:15:05 +02:00
electronics	kicad-unstable: needs python	2021-07-13 12:47:26 +02:00
geometry
logic	Merge pull request #130193 from Stunkymonkey/verifast-phases	2021-07-15 23:40:17 +02:00
machine-learning	Merge pull request #126400 from nagy/vowpal-wabbit-boost17x	2021-06-14 19:39:52 +02:00
math	mathematica: 12.3.0 -> 12.3.1	2021-07-15 15:29:33 +02:00
medicine
misc	root,root5: apply nixpkgs-fmt	2021-07-14 16:23:09 -04:00
molecular-dynamics
networking/sumo	sumo: 1.8.0 -> 1.9.2	2021-06-29 11:24:41 +02:00
physics	mcfm: init at 10.0.1	2021-06-22 17:27:21 -04:00
programming
robotics	emuflight-configurator: 0.3.5 -> 0.3.6	2021-06-29 23:28:17 -07:00