From foo@bar  Tue Sep 15 12:20:05 2026
Format: 1.8
Date: Sun, 13 Sep 2026 21:36:46 -0700
Source: rumur
Binary: rumur rumur-dbgsym
Architecture: x32
Version: 2026.09.13-1
Distribution: sid
Urgency: medium
Maintainer: x32 Build Daemon (x32-do-01) <buildd@x32-do-01.buildd.org>
Changed-By: Matthew Fernandez <matthew.fernandez@gmail.com>
Description:
 rumur      - model checker for the Murphi language
Changes:
 rumur (2026.09.13-1) unstable; urgency=medium
 .
   * New upstream release.
   * Drop CMake patch that was applied upstream.
   * Update autopkgtests to match upstream changes.
Checksums-Sha1:
 4a4422832c8bcb1d0ff3468928aa282b43bf3045 24293152 rumur-dbgsym_2026.09.13-1_x32.deb
 7c0d10c4a39f6a686c67310e44cf9330747c8cc1 7302 rumur_2026.09.13-1_x32.buildinfo
 c255209fdd19fba91a41cc80636a0c4b9ede4401 1055960 rumur_2026.09.13-1_x32.deb
Checksums-Sha256:
 99f33e9b61e1bc3f587a3dfdad4b6f48c8495990902b0849412de2a1b913c082 24293152 rumur-dbgsym_2026.09.13-1_x32.deb
 3778ee46addcc1c0949a749c9e7841a28a50dab7ce671ccc91567f095998f5fd 7302 rumur_2026.09.13-1_x32.buildinfo
 a95b85bfabcaee50f8cca1dabce561f677978d0a5a66964ae117f71709db3a2c 1055960 rumur_2026.09.13-1_x32.deb
Files:
 fc0e720918776f6bddb6eb4588310a3f 24293152 debug optional rumur-dbgsym_2026.09.13-1_x32.deb
 7ba1104a3ec1aea27b4f407c1bb92183 7302 devel optional rumur_2026.09.13-1_x32.buildinfo
 52ea706f7d3bec41d77a61160eb5026b 1055960 devel optional rumur_2026.09.13-1_x32.deb
Signed-By: Debian buildd autosigning key for x32-do-01 <buildd_x32-x32-do-01@buildd.debian.org>