Publishing details

• Created on 2016-02-23 by Ubuntu Archive Auto-Sync
• Published on 2016-02-23

Changelog

alt-ergo (0.99.1+dfsg1-4build3) xenial; urgency=medium

  * Rebuild for new OCaml ABIs.

 -- Matthias Klose <email address hidden>  Fri, 12 Feb 2016 12:05:17 +0000

Builds

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

Built packages

• alt-ergo Automatic theorem prover dedicated to program verification

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

Package files

• alt-ergo-dbgsym_0.99.1+dfsg1-4build3_amd64.ddeb (386.7 KiB)
• alt-ergo-dbgsym_0.99.1+dfsg1-4build3_arm64.ddeb (385.2 KiB)
• alt-ergo-dbgsym_0.99.1+dfsg1-4build3_armhf.ddeb (418.2 KiB)
• alt-ergo-dbgsym_0.99.1+dfsg1-4build3_i386.ddeb (365.6 KiB)
• alt-ergo-dbgsym_0.99.1+dfsg1-4build3_powerpc.ddeb (243.5 KiB)
• alt-ergo_0.99.1+dfsg1-4build3.debian.tar.xz (12.5 KiB)
• alt-ergo_0.99.1+dfsg1-4build3.dsc (2.2 KiB)
• alt-ergo_0.99.1+dfsg1-4build3_amd64.deb (1.9 MiB)
• alt-ergo_0.99.1+dfsg1-4build3_arm64.deb (1.9 MiB)
• alt-ergo_0.99.1+dfsg1-4build3_armhf.deb (1.9 MiB)
• alt-ergo_0.99.1+dfsg1-4build3_i386.deb (1.8 MiB)
• alt-ergo_0.99.1+dfsg1-4build3_powerpc.deb (1.7 MiB)
• alt-ergo_0.99.1+dfsg1-4build3_ppc64el.deb (327.9 KiB)
• alt-ergo_0.99.1+dfsg1-4build3_s390x.deb (327.8 KiB)
• alt-ergo_0.99.1+dfsg1.orig.tar.gz (217.7 KiB)