Format: 1.8
Date: Wed, 26 Jan 2022 10:36:21 +0100
Source: alt-ergo
Binary: alt-ergo
Built-For-Profiles: noudeb
Architecture: amd64
Version: 2.0.0-8build1
Distribution: jammy-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@lcy02-amd64-056.buildd>
Changed-By: Matthias Klose <doko@ubuntu.com>
Description:
 alt-ergo   - Automatic theorem prover dedicated to program verification
Changes:
 alt-ergo (2.0.0-8build1) jammy; urgency=medium
 .
   * No-change rebuild for ocaml abi changes.
Checksums-Sha1:
 0dfa5c328175743a143cfa841f7e1a1556946ccc 459882 alt-ergo-dbgsym_2.0.0-8build1_amd64.ddeb
 97c3938d96f638b3467f961cd7586dd7efadfb93 6614 alt-ergo_2.0.0-8build1_amd64.buildinfo
 e5928d91e8f11570a51557bb4e99506bc25d08fe 2381066 alt-ergo_2.0.0-8build1_amd64.deb
Checksums-Sha256:
 a805eec647c3d0771352e5a65b604663068f90213e46be2fe19b4e2fb252a1df 459882 alt-ergo-dbgsym_2.0.0-8build1_amd64.ddeb
 136fa5a6e19ef1b04871cbbab081ed821293779436827ed6133d542e80d127d9 6614 alt-ergo_2.0.0-8build1_amd64.buildinfo
 f56162425e5d69e2270a697cf3a3dada3d3b340a204963a5d29591fc253fca19 2381066 alt-ergo_2.0.0-8build1_amd64.deb
Files:
 c2e39b085a4c2b28a9b6b9d2ef98bf0c 459882 debug optional alt-ergo-dbgsym_2.0.0-8build1_amd64.ddeb
 8b9c99838ce8ddc4725267aae1e26b7c 6614 math optional alt-ergo_2.0.0-8build1_amd64.buildinfo
 793520ccdbb4cce9dabb8ae26af09a0a 2381066 math optional alt-ergo_2.0.0-8build1_amd64.deb