UbuntuUpdates.org

Package "rumur"

Name: rumur

Description:

model checker for the Murphi language

Latest version: 2020.12.20-1
Release: jammy (22.04)
Level: base
Repository: universe
Homepage: https://github.com/Smattr/rumur

Links


Download "rumur"


Other versions of "rumur" in Jammy

No other version of this package is available in the Jammy release.

Changelog

There is no recent update for this package.



About   -   Send Feedback to @ubuntu_updates