Publishing details
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
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