Format: 1.8
Date: Sat, 17 Feb 2024 01:25:58 +0100
Source: coq-extructures
Binary: libcoq-extructures
Built-For-Profiles: noudeb
Architecture: s390x
Version: 0.4.0-1build2
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos01-s390x-020.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 libcoq-extructures - data structures with extensional reasoning for Coq
Changes:
 coq-extructures (0.4.0-1build2) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 6c168168bee8858f01bc836716e66d7908e609c1 7587 coq-extructures_0.4.0-1build2_s390x.buildinfo
 221a30cd80c877026a2de3450749baed087668ca 731584 libcoq-extructures_0.4.0-1build2_s390x.deb
Checksums-Sha256:
 61aa6142820617d0c3237a2b5571ea26395197594c4cc9f7fba8c5301f9ad465 7587 coq-extructures_0.4.0-1build2_s390x.buildinfo
 f4bf954f13c95f0a0e34d9989da3b52e81805ae40e7d720a59b2221f706b037e 731584 libcoq-extructures_0.4.0-1build2_s390x.deb
Files:
 e67cb52d07e913a5b0b9df75d85119b8 7587 ocaml optional coq-extructures_0.4.0-1build2_s390x.buildinfo
 4b1c21b93c82740018974dcc55131611 731584 ocaml optional libcoq-extructures_0.4.0-1build2_s390x.deb