Publishing details

• Published on 2024-04-29
• Copied from debian sid in Primary Archive for Debian GNU/Linux

Changelog

rumur (2023.11.27-1) unstable; urgency=medium

  * New upstream release.

 -- Matthew Fernandez <email address hidden>  Sun, 10 Dec 2023 11:26:23 +1100

Builds

Built packages

• rumur model checker for the Murphi language

• rumur-dbgsym debug symbols for rumur

Package files

• rumur-dbgsym_2023.11.27-1_amd64.ddeb (10.8 MiB)
• rumur-dbgsym_2023.11.27-1_arm64.ddeb (10.4 MiB)
• rumur-dbgsym_2023.11.27-1_armhf.ddeb (12.5 MiB)
• rumur-dbgsym_2023.11.27-1_ppc64el.ddeb (11.5 MiB)
• rumur-dbgsym_2023.11.27-1_riscv64.ddeb (8.7 MiB)
• rumur-dbgsym_2023.11.27-1_s390x.ddeb (10.9 MiB)
• rumur_2023.11.27-1.debian.tar.xz (5.1 KiB)
• rumur_2023.11.27-1.dsc (2.0 KiB)
• rumur_2023.11.27-1_amd64.deb (1.0 MiB)
• rumur_2023.11.27-1_arm64.deb (973.8 KiB)
• rumur_2023.11.27-1_armhf.deb (922.6 KiB)
• rumur_2023.11.27-1_ppc64el.deb (1.0 MiB)
• rumur_2023.11.27-1_riscv64.deb (1.8 MiB)
• rumur_2023.11.27-1_s390x.deb (1017.5 KiB)
• rumur_2023.11.27.orig.tar.gz (310.8 KiB)