Package - rumur

Package:  rumur
apt-get install rumur
Manuals in package:
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/r/rumur/rumur_2025.02.02-1_amd64.deb (Size: 1.1MiB)

PropertyValue
Packagerumur
Version2025.02.02-1
Installed-Size7858
MaintainerMatthew Fernandez
Architectureamd64
Dependspython3, libc6 (>= 2.38), libgcc-s1 (>= 3.0), libgmp10 (>= 2:6.3.0+dfsg), libgmpxx4ldbl (>= 2:6.3.0+dfsg), libstdc++6 (>= 13.1)
Suggestsz3
Descriptionmodel checker for the Murphi language
Description-md540129f0478a9f84f22c5aaa201b1917a
Homepagehttps://github.com/Smattr/rumur
Sectiondevel
Priorityoptional
Filenamepool/main/r/rumur/rumur_2025.02.02-1_amd64.deb
Size1112744
MD5sumda11976074b64fb3a99a07a8d65bb66d
SHA2560a0a744dea80dff97428c7889f89afde95ed231b75e896c1bbb60b76b0a82636

Files in package

  • /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/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/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/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/overrides/rumur
  • /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/lib/README.rst
  • /usr/share/rumur/lib/_list
  • /usr/share/rumur/lib/_set
  • /usr/share/rumur/lib/v2025.01.04/list
  • /usr/share/rumur/lib/v2025.01.05/list
  • /usr/share/rumur/lib/v2025.02.02/_list
  • /usr/share/rumur/lib/v2025.02.02/_set