Format: 1.8
Date: Tue, 08 Sep 2015 10:53:36 +0200
Source: alt-ergo
Binary: alt-ergo
Architecture: arm64
Version: 0.99.1+dfsg1-4build1
Distribution: wily
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos01-arm64-013.buildd>
Changed-By: Matthias Klose <doko@ubuntu.com>
Description:
 alt-ergo   - Automatic theorem prover dedicated to program verification
Changes:
 alt-ergo (0.99.1+dfsg1-4build1) wily; urgency=medium
 .
   * No-change rebuild for Ocaml ABI changes.
Checksums-Sha1:
 f55589e03ae3693850bf30d04b5a0762ae079c43 309194 alt-ergo_0.99.1+dfsg1-4build1_arm64.deb
Checksums-Sha256:
 12cd14efbe8dfe27fe43c2b14a4076cacc2af9d5632ae853b38b9286f050ba0f 309194 alt-ergo_0.99.1+dfsg1-4build1_arm64.deb
Files:
 d228a57419a655ae813d0cc6cbcbc7bf 309194 math optional alt-ergo_0.99.1+dfsg1-4build1_arm64.deb