Format: 1.8
Date: Sat, 03 Dec 2022 12:56:04 +0100
Source: coq-extructures
Binary: libcoq-extructures
Built-For-Profiles: noudeb
Architecture: armhf
Version: 0.3.1-2build2
Distribution: lunar-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-arm64-041.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 libcoq-extructures - data structures with extensional reasoning for Coq
Changes:
 coq-extructures (0.3.1-2build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 10f654b79936b54339923d3067a9b61a49be32e9 6576 coq-extructures_0.3.1-2build2_armhf.buildinfo
 7f1a40275db1c1519f21fa032673d3b3a2f4e4c5 669946 libcoq-extructures_0.3.1-2build2_armhf.deb
Checksums-Sha256:
 f983d79c7934fb383393a9e1ee0b233735e9e8e62950f8a1087f1578efa12ed8 6576 coq-extructures_0.3.1-2build2_armhf.buildinfo
 d5d931707a25f387bca93292be9800726e59b445f9d71d92341b8c93c08101ac 669946 libcoq-extructures_0.3.1-2build2_armhf.deb
Files:
 2dd56e693de883dc6cd51147de376d4c 6576 ocaml optional coq-extructures_0.3.1-2build2_armhf.buildinfo
 6768cd0cb0af4ffd18790bb86514c68e 669946 ocaml optional libcoq-extructures_0.3.1-2build2_armhf.deb