Publishing details

• Removed from disk on 2018-01-23.
• Removal requested on 2017-01-24.
• Superseded on 2017-01-23 by alt-ergo - 1.30-1
• Published on 2016-10-18
• Copied from debian sid in Primary Archive for Debian GNU/Linux

Changelog

alt-ergo (1.01-1) unstable; urgency=medium

  * new upstream version. Refreshed patches.
  * debian/watch: version 4. Add option pgpsigurlmangle.
  * standards-version 3.9.7 (no change)
  * bump version of build-dependency ocaml, according to upstream install
    instructions.

 -- Ralf Treinen <email address hidden>  Tue, 01 Mar 2016 21:17:13 +0100

Builds

Package files

• alt-ergo-dbgsym_1.01-1_amd64.ddeb (332.3 KiB)
• alt-ergo-dbgsym_1.01-1_arm64.ddeb (331.7 KiB)
• alt-ergo-dbgsym_1.01-1_armhf.ddeb (361.2 KiB)
• alt-ergo-dbgsym_1.01-1_i386.ddeb (315.2 KiB)
• alt-ergo-dbgsym_1.01-1_powerpc.ddeb (219.5 KiB)
• alt-ergo_1.01-1.debian.tar.xz (12.9 KiB)
• alt-ergo_1.01-1.dsc (2.1 KiB)
• alt-ergo_1.01-1_amd64.deb (1.9 MiB)
• alt-ergo_1.01-1_arm64.deb (1.7 MiB)
• alt-ergo_1.01-1_armhf.deb (1.7 MiB)
• alt-ergo_1.01-1_i386.deb (1.6 MiB)
• alt-ergo_1.01-1_powerpc.deb (1.5 MiB)
• alt-ergo_1.01-1_ppc64el.deb (291.4 KiB)
• alt-ergo_1.01-1_s390x.deb (290.6 KiB)
• alt-ergo_1.01.orig.tar.gz (221.4 KiB)