Publishing details

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

Changelog

maude (2.6-4) unstable; urgency=low


  * debian/rules: dh --with autotools_dev
    Closes: #727454

 -- Andreas Tille <email address hidden>  Thu, 24 Oct 2013 09:22:27 +0200

Builds

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

Built packages

• maude high-performance logical framework

Package files

• maude_2.6-4.debian.tar.gz (5.0 KiB)
• maude_2.6-4.dsc (1.4 KiB)
• maude_2.6-4_amd64.deb (913.5 KiB)
• maude_2.6-4_arm64.deb (890.6 KiB)
• maude_2.6-4_armhf.deb (728.0 KiB)
• maude_2.6-4_i386.deb (877.9 KiB)
• maude_2.6-4_powerpc.deb (953.9 KiB)
• maude_2.6.orig.tar.gz (1.5 MiB)