rumur (2025.08.31-1+b1)
Details
Core information at a glance
- Distribution
- debian
- Origin
- debian-sid
- Repository
- https://deb.debian.org/debian
- Codename
- sid
- Component
- main
- Source
- rumur (2025.08.31-1)
- Architecture
- s390x
- Section
- devel
- Priority
- optional
- Maintainer
- Matthew Fernandez <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 6.9 kB
- Size expected
- 877.1 kB
- Size actual
- 877.1 kB
- Size match
Dependencies
Required package dependencies
Description
model checker for the Murphi language
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | 9083012e…67ea2740 | |
| SHA-1 | 39da3ae3…90406ecf | |
| SHA-256 | 08295ca9…2879d19a | |
| SHA-512 | fff853fb…ec561a17 |
Contents
Files and directories included
. usr usr/bin usr/bin/murphi-format usr/bin/murphi2c usr/bin/murphi2murphi usr/bin/murphi2smv usr/bin/murphi2uclid usr/bin/murphi2xml usr/bin/rumur usr/bin/rumur-run usr/include usr/include/rumur usr/include/rumur/Boolean.h usr/include/rumur/Comment.h usr/include/rumur/Decl.h usr/include/rumur/Expr.h usr/include/rumur/Function.h usr/include/rumur/Model.h usr/include/rumur/Node.h usr/include/rumur/Number.h usr/include/rumur/Property.h usr/include/rumur/Ptr.h usr/include/rumur/Rule.h usr/include/rumur/Stmt.h usr/include/rumur/Symtab.h usr/include/rumur/TypeExpr.h usr/include/rumur/except.h usr/include/rumur/indexer.h usr/include/rumur/location.hh usr/include/rumur/parse.h usr/include/rumur/parser.yy.hh usr/include/rumur/position.hh usr/include/rumur/resolve-symbols.h usr/include/rumur/rumur.h usr/include/rumur/sanitise_rule_names.h usr/include/rumur/scanner.h usr/include/rumur/stack.hh usr/include/rumur/traverse.h usr/include/rumur/validate.h usr/include/rumur/version.h usr/lib usr/lib/s390x-linux-gnu usr/lib/s390x-linux-gnu/cmake usr/lib/s390x-linux-gnu/cmake/rumur usr/lib/s390x-linux-gnu/cmake/rumur/librumurConfig-none.cmake usr/lib/s390x-linux-gnu/cmake/rumur/librumurConfig.cmake usr/lib/s390x-linux-gnu/cmake/rumur/rumurConfig.cmake usr/lib/s390x-linux-gnu/librumur.a usr/share usr/share/doc usr/share/doc/rumur usr/share/doc/rumur/README.rst usr/share/doc/rumur/changelog.Debian.gz usr/share/doc/rumur/changelog.Debian.s390x.gz usr/share/doc/rumur/changelog.gz usr/share/doc/rumur/copyright usr/share/doc/rumur/vs-cmurphi.rst.gz usr/share/lintian usr/share/lintian/overrides usr/share/lintian/overrides/rumur usr/share/man usr/share/man/man1 usr/share/man/man1/murphi-format.1.gz usr/share/man/man1/murphi2c.1.gz usr/share/man/man1/murphi2murphi.1.gz usr/share/man/man1/murphi2smv.1.gz usr/share/man/man1/murphi2uclid.1.gz usr/share/man/man1/murphi2xml.1.gz usr/share/man/man1/rumur-run.1.gz usr/share/man/man1/rumur.1.gz usr/share/rumur usr/share/rumur/lib usr/share/rumur/lib/README.rst usr/share/rumur/lib/_list usr/share/rumur/lib/_set usr/share/rumur/lib/v2025.01.04 usr/share/rumur/lib/v2025.01.04/list usr/share/rumur/lib/v2025.01.05 usr/share/rumur/lib/v2025.01.05/list usr/share/rumur/lib/v2025.02.02 usr/share/rumur/lib/v2025.02.02/_list usr/share/rumur/lib/v2025.02.02/_set usr/share/rumur/lib/v2025.08.31 usr/share/rumur/lib/v2025.08.31/_list usr/share/rumur/lib/v2025.08.31/_set