5 Commits

Author	SHA1	Message	Date
Connor Olding	c6f285c761	all: use new acquire feature	2022-10-11 11:18:16 -07:00
Connor Olding	fca8488b08	muon: update version	2022-10-11 10:08:43 -07:00
Connor Olding	140f52143f	muon: update version	2022-10-07 08:47:34 -07:00
Connor Olding	c6866b36f3	cosmo, muon, yices: update versions	2022-10-04 19:43:28 -07:00
Connor Olding	9cf3d3eed9	add cosmo-muon	2022-10-04 04:55:30 -07:00