My personal project and infrastructure archive

You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Vincent Laporte 056c34167d why3: 1.4.0 → 1.4.1		2 years ago
..
astronomy	kstars: 3.5.6 -> 3.5.7	2 years ago
biology	picard-tools: 2.26.10 -> 2.26.11	2 years ago
chemistry	Merge pull request #159540 from r-ryantm/auto-update/marvin	2 years ago
electronics	openhantek6022: 3.2.4 -> 3.2.5	2 years ago
geometry	Merge pull request #160340 from helsinki-systems/tetgen	2 years ago
logic	why3: 1.4.0 → 1.4.1	2 years ago
machine-learning	vowpal-wabbit: 8.11.0 -> 9.0.1	2 years ago
math	Merge pull request #150078 from r-ryantm/auto-update/gurobi	2 years ago
medicine	treewide: use mirror URLs where available	3 years ago
misc	cwltool: 3.1.20220217222804 -> 3.1.20220221074232	2 years ago
molecular-dynamics	gromacs: 2021.5 -> 2022	2 years ago
networking/sumo	…
physics	shtns: init at 3.5.1 (#151061)	2 years ago
programming	scyther: remove since it only supports Python 2	3 years ago
robotics	qgroundcontrol: 4.1.4 -> 4.2.0	2 years ago