Publishing details

• Published on 2023-07-23
• Copied from Primary Archive for Ubuntu by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
• Originally uploaded to debian sid in Primary Archive for Debian GNU/Linux

Changelog

rumur (2023.05.21-1) unstable; urgency=medium

  * New upstream release.
  * Fix build failures with GCC-13. Closes: #1037851.
  * Update Standards-Version from 4.6.0.1 to 4.6.2.
  * Relicense debian/ as Unlicense instead of GPL-3+.

 -- Matthew Fernandez <email address hidden>  Sat, 22 Jul 2023 09:45:32 +1000

Builds

• amd64
• arm64
• armhf
• ppc64el
• riscv64
• s390x

Built packages

• rumur model checker for the Murphi language

• rumur-dbgsym debug symbols for rumur

Package files

• rumur-dbgsym_2023.05.21-1_amd64.ddeb (10.8 MiB)
• rumur-dbgsym_2023.05.21-1_arm64.ddeb (10.4 MiB)
• rumur-dbgsym_2023.05.21-1_armhf.ddeb (12.5 MiB)
• rumur-dbgsym_2023.05.21-1_ppc64el.ddeb (11.4 MiB)
• rumur-dbgsym_2023.05.21-1_riscv64.ddeb (8.7 MiB)
• rumur-dbgsym_2023.05.21-1_s390x.ddeb (10.8 MiB)
• rumur_2023.05.21-1.debian.tar.xz (5.1 KiB)
• rumur_2023.05.21-1.dsc (1.8 KiB)
• rumur_2023.05.21-1_amd64.deb (1.0 MiB)
• rumur_2023.05.21-1_arm64.deb (970.8 KiB)
• rumur_2023.05.21-1_armhf.deb (922.6 KiB)
• rumur_2023.05.21-1_ppc64el.deb (1.0 MiB)
• rumur_2023.05.21-1_riscv64.deb (1.8 MiB)
• rumur_2023.05.21-1_s390x.deb (1006.0 KiB)
• rumur_2023.05.21.orig.tar.gz (309.7 KiB)