rumur (2025.02.02-1)
Details
Core information at a glance
- Distribution
- ubuntu
- Origin
- ubuntu-stonking
- Repository
- https://nl.archive.ubuntu.com/ubuntu
- Codename
- stonking
- Component
- universe
- Source
- none
- Architecture
- amd64
- Section
- universe/devel
- Priority
- optional
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 7.7 kB
- Size expected
- 1.3 MB
- Size actual
- 1.3 MB
- 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 | 8e7ce65a…da2feafa | |
| SHA-1 | 52330f2f…973e3344 | |
| SHA-256 | 9d4834ad…686fa14c | |
| SHA-512 | 7034906c…b8a7fff1 |
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/x86_64-linux-gnu usr/lib/x86_64-linux-gnu/cmake usr/lib/x86_64-linux-gnu/cmake/rumur usr/lib/x86_64-linux-gnu/cmake/rumur/librumurConfig-none.cmake usr/lib/x86_64-linux-gnu/cmake/rumur/librumurConfig.cmake usr/lib/x86_64-linux-gnu/cmake/rumur/rumurConfig.cmake usr/lib/x86_64-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/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