Publishing details

Removal requested on 2020-07-14.
Published on 2018-10-30
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

Available diffs

diff from 2.7-1 to 2.7-2 (1000 bytes)

Builds

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)