Format: 1.8
Date: Sun, 23 Aug 2020 13:25:10 +0200
Source: why3
Binary: libwhy3-ocaml-dev why3
Architecture: s390x
Version: 1.3.1-3build1
Distribution: groovy-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-s390x-005.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 libwhy3-ocaml-dev - OCaml librariries for why3 (dev)
 why3       - Software verification platform
Changes:
 why3 (1.3.1-3build1) groovy; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 4e4da0fe210deab9ba69f466561894fd156c5be8 463440 libwhy3-ocaml-dev-dbgsym_1.3.1-3build1_s390x.ddeb
 2f9e2c618005f182810c306b43616f148aba8a8b 8720328 libwhy3-ocaml-dev_1.3.1-3build1_s390x.deb
 b0a12e2ec2d87276ddb4339403122437350494b4 6057072 why3-dbgsym_1.3.1-3build1_s390x.ddeb
 4db9d6caf5ed41ab7a21065729cecea13fd777e6 15286 why3_1.3.1-3build1_s390x.buildinfo
 9b9913eae7fd75b35fd5a4857bfa8556ef108459 35691756 why3_1.3.1-3build1_s390x.deb
Checksums-Sha256:
 c09140e4df86f7b4770c9285564cbcb46fa4140ae8fbe58d92e2eaaf5bf9b1f6 463440 libwhy3-ocaml-dev-dbgsym_1.3.1-3build1_s390x.ddeb
 311ce8b79945545705e099b09ad235d2c621e6262601320aaaa31d19aed93743 8720328 libwhy3-ocaml-dev_1.3.1-3build1_s390x.deb
 e3c2b0f5f9927915b9f7eb4bbb375d0cd2ad6d073e317aea9a0bdd470d8ed9b3 6057072 why3-dbgsym_1.3.1-3build1_s390x.ddeb
 40a0d60222403d4315f29cbfcd672adb3405cda98c160319fe787f695c3a1e75 15286 why3_1.3.1-3build1_s390x.buildinfo
 132bcbecd847c39b2e363b24c2fdc9fefb5561663158223ee030f3313751e3e6 35691756 why3_1.3.1-3build1_s390x.deb
Files:
 0191b76d763224a5efa57abf927f8f52 463440 debug optional libwhy3-ocaml-dev-dbgsym_1.3.1-3build1_s390x.ddeb
 2e440f308a4a285272331780bc447733 8720328 ocaml optional libwhy3-ocaml-dev_1.3.1-3build1_s390x.deb
 3c2db40e3d8b76616fd5fd48a8fd43c1 6057072 debug optional why3-dbgsym_1.3.1-3build1_s390x.ddeb
 1cc1f757be17520736a50b0ed2576459 15286 math optional why3_1.3.1-3build1_s390x.buildinfo
 595a0b164af56d536c40300b3c6e95c4 35691756 math optional why3_1.3.1-3build1_s390x.deb