Package Details: rumur-git 2019.12.22.r0.ga1b6d61-1

Git Clone URL: https://aur.archlinux.org/rumur-git.git (read-only, click to copy)
Package Base: rumur-git
Description: Yet another Murphi model checker
Upstream URL: https://github.com/Smattr/rumur
Licenses: custom:UNLICENSE
Conflicts: rumur
Provides: rumur
Submitter: wangqr
Maintainer: wangqr
Last Packager: wangqr
Votes: 0
Popularity: 0.000000
First Submitted: 2019-03-17 10:39 (UTC)
Last Updated: 2019-12-24 17:52 (UTC)

Dependencies (10)

Required by (0)

Sources (1)