» Ubuntu » Pakete » oracular » rumur » all » Liste der Dateien

Liste der Dateien in Paket rumur in oracular für Architektur all

/usr/bin/murphi2c
/usr/bin/murphi2murphi
/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-get-version.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/lib/x86_64-linux-gnu/librumur.a
/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/man/man1/murphi2c.1.gz
/usr/share/man/man1/murphi2murphi.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