Format: 1.8
Date: Sat, 03 Dec 2022 10:46:18 +0100
Source: coquelicot
Binary: libcoq-coquelicot
Built-For-Profiles: noudeb
Architecture: arm64
Version: 3.2.0-7build3
Distribution: lunar-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-arm64-008.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 libcoq-coquelicot - Coq library for real analysis
Changes:
 coquelicot (3.2.0-7build3) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 3719789e3106d00388ffffff5a21ce0795a56816 6655 coquelicot_3.2.0-7build3_arm64.buildinfo
 3fd21ca95d37467f882de0b59426943a823d7ad5 3749054 libcoq-coquelicot_3.2.0-7build3_arm64.deb
Checksums-Sha256:
 c35d82ca57b48579ac998e1bd9bec1284aa333ccf948f76277e79d5ac20a911b 6655 coquelicot_3.2.0-7build3_arm64.buildinfo
 7693297ac417c47c4dc7be18ddb19ab737ff4cbb23c184c91e2fc58406e7e96e 3749054 libcoq-coquelicot_3.2.0-7build3_arm64.deb
Files:
 0a9d24103814d2d4ca962592220dc02d 6655 ocaml optional coquelicot_3.2.0-7build3_arm64.buildinfo
 3bdfdd5d25237e92e7ee39529df4cf03 3749054 ocaml optional libcoq-coquelicot_3.2.0-7build3_arm64.deb
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>