Publishing details

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

Changelog

alt-ergo (1.30+dfsg1-1) unstable; urgency=medium

  * Repack source to exclude the non-free/ directory (closes: #883755).
  * Patch ocplib-simplex-0.4: patch to compile with version 0.4 of
    ocplib-simplex-ocaml-dev (closes: #882162).
  * Standards-Version 4.1.2 (no change)
  * debian/watch: drop pgpsigurlmangle

 -- Ralf Treinen <email address hidden>  Thu, 21 Dec 2017 20:01:21 +0100

Builds

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

Built packages

• alt-ergo Automatic theorem prover dedicated to program verification

• alt-ergo-dbgsym debug symbols for alt-ergo

Package files

• alt-ergo-dbgsym_1.30+dfsg1-1_amd64.ddeb (495.3 KiB)
• alt-ergo-dbgsym_1.30+dfsg1-1_arm64.ddeb (569.1 KiB)
• alt-ergo-dbgsym_1.30+dfsg1-1_armhf.ddeb (515.4 KiB)
• alt-ergo-dbgsym_1.30+dfsg1-1_i386.ddeb (477.2 KiB)
• alt-ergo-dbgsym_1.30+dfsg1-1_ppc64el.ddeb (468.2 KiB)
• alt-ergo-dbgsym_1.30+dfsg1-1_s390x.ddeb (429.7 KiB)
• alt-ergo_1.30+dfsg1-1.debian.tar.xz (14.3 KiB)
• alt-ergo_1.30+dfsg1-1.dsc (2.2 KiB)
• alt-ergo_1.30+dfsg1-1_amd64.deb (3.0 MiB)
• alt-ergo_1.30+dfsg1-1_arm64.deb (3.8 MiB)
• alt-ergo_1.30+dfsg1-1_armhf.deb (2.4 MiB)
• alt-ergo_1.30+dfsg1-1_i386.deb (2.4 MiB)
• alt-ergo_1.30+dfsg1-1_ppc64el.deb (3.5 MiB)
• alt-ergo_1.30+dfsg1-1_s390x.deb (3.5 MiB)
• alt-ergo_1.30+dfsg1.orig.tar.gz (258.0 KiB)