Publishing details

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

Changelog

maude (3.2-2) unstable; urgency=medium

  * Team upload.
  * Add patch to fix FTBFS against glibc 2.34
    + Thanks vorlon for the patch (Closes: #1014627)

 -- Nilesh Patra <email address hidden>  Tue, 12 Jul 2022 19:53:44 +0530

Builds

Built packages

• maude high-performance logical framework

• maude-dbgsym debug symbols for maude

Package files

• maude-dbgsym_3.2-2_amd64.ddeb (11.6 MiB)
• maude-dbgsym_3.2-2_arm64.ddeb (11.4 MiB)
• maude-dbgsym_3.2-2_armhf.ddeb (12.6 MiB)
• maude-dbgsym_3.2-2_ppc64el.ddeb (12.4 MiB)
• maude-dbgsym_3.2-2_riscv64.ddeb (11.3 MiB)
• maude-dbgsym_3.2-2_s390x.ddeb (11.5 MiB)
• maude_3.2-2.debian.tar.xz (7.1 KiB)
• maude_3.2-2.dsc (2.0 KiB)
• maude_3.2-2_amd64.deb (1.0 MiB)
• maude_3.2-2_arm64.deb (981.6 KiB)
• maude_3.2-2_armhf.deb (973.8 KiB)
• maude_3.2-2_ppc64el.deb (1.2 MiB)
• maude_3.2-2_riscv64.deb (1.1 MiB)
• maude_3.2-2_s390x.deb (966.9 KiB)
• maude_3.2.orig.tar.gz (2.3 MiB)