Format: 1.8
Date: Sat, 03 Dec 2022 10:46:18 +0100
Source: coquelicot
Binary: libcoq-coquelicot
Built-For-Profiles: noudeb
Architecture: armhf
Version: 3.2.0-7build3
Distribution: lunar-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-arm64-062.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:
 184fc3244f8a221391d61b7c688978e413c701a9 6500 coquelicot_3.2.0-7build3_armhf.buildinfo
 3c8f456e3eb2cf2af40218e28304417e340a1301 3748368 libcoq-coquelicot_3.2.0-7build3_armhf.deb
Checksums-Sha256:
 09aa482cbcae31063250d40de9cb8af2b974caa575186000ad9cd65c741d88ed 6500 coquelicot_3.2.0-7build3_armhf.buildinfo
 0e86e5ba9e2d93ea25651b60d42ec0c186f6dfcb26c28782a49016beaa253ec9 3748368 libcoq-coquelicot_3.2.0-7build3_armhf.deb
Files:
 16550dc25f7aa90e762f1fb16688f0b3 6500 ocaml optional coquelicot_3.2.0-7build3_armhf.buildinfo
 fafc2feef0a7f8585f57357eeebea7c1 3748368 ocaml optional libcoq-coquelicot_3.2.0-7build3_armhf.deb
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>