Package: rumur
Priority: optional
Section: universe/devel
Installed-Size: 7713
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 2025.02.02-1
Suggests: z3
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)
Filename: pool/universe/r/rumur/rumur_2025.02.02-1_amd64.deb
Size: 1294146
SHA512: 7034906c700db67c687a8460f03ca27932e8b85619f447be0c8a426d1aa5806b00359ace8697c161cb689f56af934b4d0cd78c4e97676fa1afb8564ab8a7fff1
Homepage: https://github.com/Smattr/rumur
Description: model checker for the Murphi language
Description-md5: 40129f0478a9f84f22c5aaa201b1917a
Original-Maintainer: Matthew Fernandez <matthew.fernandez@gmail.com>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug