Publishing details

• Published on 2015-12-17
• Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)

Changelog

maude (2.7-1) unstable; urgency=medium

  * New upstream version
    Closes: #790260

 -- Andreas Tille <email address hidden>  Wed, 16 Dec 2015 22:57:25 +0100

Builds

• amd64
• arm64
• armhf
• i386
• powerpc
• ppc64el
• s390x

Built packages

• maude high-performance logical framework

• maude-dbgsym debug symbols for package maude

Package files

• maude-dbgsym_2.7-1_amd64.ddeb (5.7 MiB)
• maude-dbgsym_2.7-1_arm64.ddeb (5.5 MiB)
• maude-dbgsym_2.7-1_armhf.ddeb (5.3 MiB)
• maude-dbgsym_2.7-1_i386.ddeb (5.3 MiB)
• maude-dbgsym_2.7-1_powerpc.ddeb (5.2 MiB)
• maude-dbgsym_2.7-1_ppc64el.ddeb (6.0 MiB)
• maude-dbgsym_2.7-1_s390x.ddeb (5.2 MiB)
• maude_2.7-1.debian.tar.xz (6.3 KiB)
• maude_2.7-1.dsc (2.0 KiB)
• maude_2.7-1_amd64.deb (754.9 KiB)
• maude_2.7-1_arm64.deb (676.6 KiB)
• maude_2.7-1_armhf.deb (611.9 KiB)
• maude_2.7-1_i386.deb (775.7 KiB)
• maude_2.7-1_powerpc.deb (672.6 KiB)
• maude_2.7-1_ppc64el.deb (805.9 KiB)
• maude_2.7-1_s390x.deb (728.4 KiB)
• maude_2.7.orig.tar.gz (1.6 MiB)