Doc index - rumur Packages contains this documentation Package: rumur apt-get install rumur Manuals in package: rumur(1) murphi2uclid(1) murphi-format(1) murphi2smv(1) murphi2murphi(1) rumur-run(1) murphi2xml(1) murphi2c(1) Documentations in package: rumur Documentation root: https://dweb.link/ipfs/bafybeih643iz77u6rskykeiwyyhrn545kuvzpgbeulwo6oh3qzb4yrws5y