Format: 1.8
Date: Thu, 16 Feb 2023 10:55:26 +0100
Source: coquelicot
Binary: libcoq-coquelicot
Built-For-Profiles: noudeb
Architecture: ppc64el
Version: 3.2.0-8build1
Distribution: lunar-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos01-ppc64el-003.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 libcoq-coquelicot - Coq library for real analysis
Changes:
 coquelicot (3.2.0-8build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 2e712554d5d955a14fa8ede1415dab8ac9d28bbc 6631 coquelicot_3.2.0-8build1_ppc64el.buildinfo
 2aeafeeb9e80bb3a94efb347a5807ef241b70224 3747028 libcoq-coquelicot_3.2.0-8build1_ppc64el.deb
Checksums-Sha256:
 04e3270cc8c821492f4bb8f749e4f30a163d8ae3897d8e5fc4c803d6c1135533 6631 coquelicot_3.2.0-8build1_ppc64el.buildinfo
 72e16ebf9e22f8ac9b08e759faffa4c2bf4b06449e816436cd27ab6414c6f769 3747028 libcoq-coquelicot_3.2.0-8build1_ppc64el.deb
Files:
 a8b92cc7711a50d1060d0bf1e6d2edf6 6631 ocaml optional coquelicot_3.2.0-8build1_ppc64el.buildinfo
 9877785b25285bb06b3484a413f812ed 3747028 ocaml optional libcoq-coquelicot_3.2.0-8build1_ppc64el.deb