Publishing details

• Published on 2021-10-15
• Copied from debian sid in Primary Archive for Debian GNU/Linux

Changelog

maude (3.1-2) unstable; urgency=medium

  * Team Upload.
  * Fix for 32-bit arches
  * Standards-Version: 4.5.1

 -- Nilesh Patra <email address hidden>  Tue, 15 Dec 2020 21:59:43 +0530

Builds

Built packages

• maude high-performance logical framework

• maude-dbgsym debug symbols for maude

Package files

• maude-dbgsym_3.1-2_amd64.ddeb (12.3 MiB)
• maude-dbgsym_3.1-2_arm64.ddeb (12.0 MiB)
• maude-dbgsym_3.1-2_armhf.ddeb (11.4 MiB)
• maude-dbgsym_3.1-2_ppc64el.ddeb (13.1 MiB)
• maude-dbgsym_3.1-2_riscv64.ddeb (10.0 MiB)
• maude-dbgsym_3.1-2_s390x.ddeb (14.5 MiB)
• maude_3.1-2.debian.tar.xz (6.6 KiB)
• maude_3.1-2.dsc (2.0 KiB)
• maude_3.1-2_amd64.deb (1002.1 KiB)
• maude_3.1-2_arm64.deb (889.7 KiB)
• maude_3.1-2_armhf.deb (833.2 KiB)
• maude_3.1-2_ppc64el.deb (1.1 MiB)
• maude_3.1-2_riscv64.deb (951.6 KiB)
• maude_3.1-2_s390x.deb (1.0 MiB)
• maude_3.1.orig.tar.gz (2.2 MiB)