From foo@bar  Mon Aug 31 04:00:03 2026
Format: 1.8
Date: Sun, 30 Aug 2026 10:29:48 -0700
Source: rumur
Binary: rumur rumur-dbgsym
Architecture: hppa
Version: 2026.08.30-1
Distribution: sid
Urgency: medium
Maintainer: hppa Build Daemon (panama) <buildd@panama.parisc-linux.org>
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:
 249403133f39403cf5f9fadf5b47bd4e95c7bed1 24352128 rumur-dbgsym_2026.08.30-1_hppa.deb
 3de3ec9213cefb00e8c764b0b0b2f3d844b41fb3 7032 rumur_2026.08.30-1_hppa.buildinfo
 ee12758c225a2159cfa1008a618c376784581294 889724 rumur_2026.08.30-1_hppa.deb
Checksums-Sha256:
 eaca22efe59a93af7e5eea71a81e21261230e51b213b72004e8e0b1980b73bdc 24352128 rumur-dbgsym_2026.08.30-1_hppa.deb
 c584ea49b5f9ae36e8823cd96edaaaa4a26b7f0afffed89339d94cba635b1140 7032 rumur_2026.08.30-1_hppa.buildinfo
 f8ab01567ddaabeb9867ef546939a1bdc4b8b954ca3f6d46982503fcf7141ef4 889724 rumur_2026.08.30-1_hppa.deb
Files:
 fee643dfeea534ba5c646b31bfc795ef 24352128 debug optional rumur-dbgsym_2026.08.30-1_hppa.deb
 65cdb18e94a7f438c5434130d7e402af 7032 devel optional rumur_2026.08.30-1_hppa.buildinfo
 268372141d17b62be30cc75bd7b25cf0 889724 devel optional rumur_2026.08.30-1_hppa.deb
Signed-By: Debian buildd autosigning key for panama <buildd_hppa-panama@buildd.debian.org>