rumur (2026.03.11-1)
Details
Core information at a glance
- Distribution
- kali
- Origin
- kali-rolling
- Repository
- https://http.kali.org/kali
- Codename
- kali-rolling
- Component
- main
- Source
- none
- Architecture
- i386
- Section
- devel
- Priority
- optional
- Maintainer
- Matthew Fernandez <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 6.4 kB
- Size expected
- 1 MB
- Size actual
- 1 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 | 34d78a5a…64a972e5 | |
| SHA-1 | a53f7185…eaee20af | |
| SHA-256 | e5ce8702…06e28b82 | |
| SHA-512 | c6375126…6d7277d8 |
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/i386-linux-gnu usr/lib/i386-linux-gnu/cmake usr/lib/i386-linux-gnu/cmake/rumur usr/lib/i386-linux-gnu/cmake/rumur/librumurConfig-none.cmake usr/lib/i386-linux-gnu/cmake/rumur/librumurConfig.cmake usr/lib/i386-linux-gnu/cmake/rumur/rumurConfig.cmake usr/lib/i386-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.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 usr/share/rumur/lib/v2026.03.11 usr/share/rumur/lib/v2026.03.11/_list usr/share/rumur/lib/v2026.03.11/_set