Publishing details

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

Changelog

maude (2.7-2) unstable; urgency=medium

  [ Andreas Tille ]
  * Moved packaging from SVN to Git
  * cme fix dpkg-control

  [ Alexis Bienvenüe]
  * Strip build date from banner to get reproducible build.
    Closes: #819948

 -- Andreas Tille <email address hidden>  Tue, 05 Apr 2016 10:48:06 +0200

Builds

Built packages

• maude high-performance logical framework

• maude-dbgsym debug symbols for package maude

Package files

• maude-dbgsym_2.7-2_amd64.ddeb (5.7 MiB)
• maude-dbgsym_2.7-2_arm64.ddeb (5.5 MiB)
• maude-dbgsym_2.7-2_armhf.ddeb (5.3 MiB)
• maude-dbgsym_2.7-2_i386.ddeb (5.3 MiB)
• maude-dbgsym_2.7-2_powerpc.ddeb (5.2 MiB)
• maude-dbgsym_2.7-2_ppc64el.ddeb (6.0 MiB)
• maude-dbgsym_2.7-2_s390x.ddeb (5.2 MiB)
• maude_2.7-2.debian.tar.xz (6.6 KiB)
• maude_2.7-2.dsc (2.0 KiB)
• maude_2.7-2_amd64.deb (811.0 KiB)
• maude_2.7-2_arm64.deb (674.5 KiB)
• maude_2.7-2_armhf.deb (611.4 KiB)
• maude_2.7-2_i386.deb (775.8 KiB)
• maude_2.7-2_powerpc.deb (672.4 KiB)
• maude_2.7-2_ppc64el.deb (851.7 KiB)
• maude_2.7-2_s390x.deb (732.3 KiB)
• maude_2.7.orig.tar.gz (1.6 MiB)