Package: rumur
Architecture: amd64
Version: 2020.02.17-1
Priority: optional
Section: universe/devel
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Matthew Fernandez <matthew.fernandez@gmail.com>
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