Publishing details
Changelog
rumur (2023.11.27-1) unstable; urgency=medium
* New upstream release.
-- Matthew Fernandez <email address hidden> Sun, 10 Dec 2023 11:26:23 +1100
Builds
Built packages
-
rumur
model checker for the Murphi language
-
rumur-dbgsym
debug symbols for rumur
Package files