Search Criteria
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: | |
| 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 |
Dependencies (6)
- gmp (gmp-hg)
- python (python-dbg)
- valgrind (valgrind312, valgrind-git) (check)
- cmake (cmake-git) (make)
- flex (flex-android, flex-git) (make)
- bison>=3.3.2 (byacc-bison, bison-git) (make)