Package: rumur
Architecture: amd64
Version: 2024.05.07-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: 6235
Depends: libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libgmp10 (>= 2:6.3.0+dfsg), libgmpxx4ldbl (>= 2:6.3.0+dfsg), libstdc++6 (>= 13.1)
Suggests: python3, z3
Filename: pool/universe/r/rumur/rumur_2024.05.07-1_amd64.deb
Size: 1046032
MD5sum: 688a2f68519f640c57d7064b7454de14
SHA1: cd9e09b5b8f0916569c9f8a68700b7b17e68e0e7
SHA256: becce301ce9ba9ca8efde3b87d12a45dcffd10e8af7cdce21d46ae6aea27ac63
SHA512: a5be2e3651259a3c4eb90a7899a3e0e35bf98cbf681ec86e9829441e6ff4c4d3ad9179b213017a2430c00248cc71f786cbf0402811a228630a2d17d075c50704
Homepage: https://github.com/Smattr/rumur
Description: model checker for the Murphi language
Description-md5: 40129f0478a9f84f22c5aaa201b1917a