Manpages of src:rumur in Debian trixie

• murphi-format(1)
• murphi2c(1)
• murphi2murphi(1)
• murphi2smv(1)
• murphi2uclid(1)
• murphi2xml(1)
• rumur-run(1)
• rumur(1)