From foo@bar  Mon Aug 31 01:00:02 2026
Format: 1.8
Date: Sun, 30 Aug 2026 10:29:48 -0700
Source: rumur
Binary: rumur rumur-dbgsym
Architecture: sparc64
Version: 2026.08.30-1
Distribution: sid
Urgency: medium
Maintainer: sparc64 Build Daemon (sompek) <buildd@sompek.debian.net>
Changed-By: Matthew Fernandez <matthew.fernandez@gmail.com>
Description:
 rumur      - model checker for the Murphi language
Changes:
 rumur (2026.08.30-1) unstable; urgency=medium
 .
   * New upstream release.
   * Add patch to support compilation with -DCMAKE_BUILD_TYPE=None.
   * Update Standards-Version from 4.7.3 to 4.7.4.
   * Update debhelper-compat Build-Depends from 13 to 14.
Checksums-Sha1:
 c041d40f27d0cf01145bfd108ec18c592189454f 24274472 rumur-dbgsym_2026.08.30-1_sparc64.deb
 71a802ef9a6b905df31956590be4ed27b1a16939 7107 rumur_2026.08.30-1_sparc64.buildinfo
 6f7f93c4777f5d1fd5e875ddbe2f9bec4a63aa92 769612 rumur_2026.08.30-1_sparc64.deb
Checksums-Sha256:
 d26948259f9d00b0b57e3fca0eb83ffccc1e668000574823e16e1023afc72f37 24274472 rumur-dbgsym_2026.08.30-1_sparc64.deb
 ac5fda693e5c50518767d0e6311aefbced22e38dcb23f2b0584b95ea980e3783 7107 rumur_2026.08.30-1_sparc64.buildinfo
 1cb165e87389ee73740e414d48264a524c146900a95f2f66ae5d6b3d9ab73eba 769612 rumur_2026.08.30-1_sparc64.deb
Files:
 72a18573220be2cd3b7e2d25529c843a 24274472 debug optional rumur-dbgsym_2026.08.30-1_sparc64.deb
 ec48c1a79c19b7f3924935840d11d873 7107 devel optional rumur_2026.08.30-1_sparc64.buildinfo
 1254a66be79e31affc61e507eddc1e88 769612 devel optional rumur_2026.08.30-1_sparc64.deb
Signed-By: Debian buildd autosigning key for sompek <buildd_sparc64-sompek@buildd.debian.org>