Package: rumur
Architecture: amd64
Version: 2025.02.02-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: 7713
Depends: python3, 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: z3
Filename: pool/universe/r/rumur/rumur_2025.02.02-1_amd64.deb
Size: 1294146
MD5sum: 8e7ce65a60857f11807a9a77da2feafa
SHA1: 52330f2f5578f1b1cd12c9c4b1b9b8f8973e3344
SHA256: 9d4834ad565777aa20e629286f6cc1fc8f1a12b798f5dd5652de7fb3686fa14c
SHA512: 7034906c700db67c687a8460f03ca27932e8b85619f447be0c8a426d1aa5806b00359ace8697c161cb689f56af934b4d0cd78c4e97676fa1afb8564ab8a7fff1
Homepage: https://github.com/Smattr/rumur
Description: model checker for the Murphi language
Description-md5: 40129f0478a9f84f22c5aaa201b1917a