Format: 1.8
Date: Sat, 03 Dec 2022 10:46:18 +0100
Source: coquelicot
Binary: libcoq-coquelicot
Built-For-Profiles: noudeb
Architecture: ppc64el
Version: 3.2.0-7build3
Distribution: lunar-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-ppc64el-007.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:
 41f04834d6575266a86ae84ea027aed2f1fed398 6639 coquelicot_3.2.0-7build3_ppc64el.buildinfo
 f413a27759166c90fae13f98bed3c8c14cab08ee 3749324 libcoq-coquelicot_3.2.0-7build3_ppc64el.deb
Checksums-Sha256:
 132d784c5ec0affb145b8ccd5b3b595bba69eecdc07eea4120e8b6b687d27770 6639 coquelicot_3.2.0-7build3_ppc64el.buildinfo
 824891e8615553d7169754a7d9c10249967a395a97fd8976021e1e63b357b576 3749324 libcoq-coquelicot_3.2.0-7build3_ppc64el.deb
Files:
 fa7276820291b09ce14d5184dbaa0d3b 6639 ocaml optional coquelicot_3.2.0-7build3_ppc64el.buildinfo
 7b622903a467d1c69a673bc00e68dea6 3749324 ocaml optional libcoq-coquelicot_3.2.0-7build3_ppc64el.deb
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>