Package Details: rumur 2019.09.07-1

Git Clone URL: https://aur.archlinux.org/rumur.git (read-only)
Package Base: rumur
Description: Yet another Murphi model checker
Upstream URL: https://github.com/Smattr/rumur
Licenses: custom:UNLICENSE
Submitter: wangqr
Maintainer: wangqr
Last Packager: wangqr
Votes: 0
Popularity: 0.000000
First Submitted: 2019-03-17 10:39
Last Updated: 2019-09-08 08:23