Publishing details

• Created on 2020-03-22 by Ubuntu Archive Auto-Sync
• Published on 2020-03-22

Changelog

maude (2.7-2build2) focal; urgency=medium

  * No-change rebuild for libgcc-s1 package name change.

 -- Matthias Klose <email address hidden>  Sun, 22 Mar 2020 16:49:24 +0100

Builds

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

Built packages

• maude high-performance logical framework

• maude-dbgsym debug symbols for maude

Package files

• maude-dbgsym_2.7-2build2_amd64.ddeb (13.1 MiB)
• maude-dbgsym_2.7-2build2_arm64.ddeb (12.9 MiB)
• maude-dbgsym_2.7-2build2_armhf.ddeb (12.3 MiB)
• maude-dbgsym_2.7-2build2_ppc64el.ddeb (13.6 MiB)
• maude-dbgsym_2.7-2build2_riscv64.ddeb (11.2 MiB)
• maude-dbgsym_2.7-2build2_s390x.ddeb (13.5 MiB)
• maude_2.7-2build2.debian.tar.xz (6.7 KiB)
• maude_2.7-2build2.dsc (2.0 KiB)
• maude_2.7-2build2_amd64.deb (812.1 KiB)
• maude_2.7-2build2_arm64.deb (721.1 KiB)
• maude_2.7-2build2_armhf.deb (678.8 KiB)
• maude_2.7-2build2_ppc64el.deb (883.8 KiB)
• maude_2.7-2build2_riscv64.deb (767.0 KiB)
• maude_2.7-2build2_s390x.deb (731.5 KiB)
• maude_2.7.orig.tar.gz (1.6 MiB)