Package: rumur Architecture: amd64 Version: 2020.02.17-1 Priority: optional Section: universe/devel Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Matthew Fernandez Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 3901 Depends: libc6 (>= 2.15), libgcc-s1 (>= 3.0), libgmp10, libgmpxx4ldbl, libstdc++6 (>= 9) Suggests: python3 (>= 3.6) Filename: pool/universe/r/rumur/rumur_2020.02.17-1_amd64.deb Size: 576648 MD5sum: 53d643cb655bd1af198abfd348a5e84f SHA1: aaa76b130abdcc334e04d96c0f2e357350d6e099 SHA256: ae0423f6e2b3d1a8251520362e04da544346829a12c0745b0bc1103a8d2548c2 Homepage: https://github.com/Smattr/rumur Description: model checker for the Murphi language Description-md5: 40129f0478a9f84f22c5aaa201b1917a