Format: 1.8
Date: Sat, 17 Feb 2024 01:24:40 +0100
Source: coquelicot
Binary: libcoq-coquelicot
Built-For-Profiles: noudeb
Architecture: arm64
Version: 3.4.1-1build2
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos01-arm64-023.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 libcoq-coquelicot - Coq library for real analysis
Changes:
 coquelicot (3.4.1-1build2) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 2bd5d6df175d1f347060cfadf97b3fdbb7510b02 7691 coquelicot_3.4.1-1build2_arm64.buildinfo
 9f4fbbeeea9cbf9ec231eb29a333dc6f1d48dfa4 3768600 libcoq-coquelicot_3.4.1-1build2_arm64.deb
Checksums-Sha256:
 bb71ba4e49315547982c94622f4ce9acc412fff44b349dbf0ed247b7a7726e3d 7691 coquelicot_3.4.1-1build2_arm64.buildinfo
 8fc3ef93cf78ea5ece1894b34001e4c4a5c0e27b62420a8898b561fcd6e091f1 3768600 libcoq-coquelicot_3.4.1-1build2_arm64.deb
Files:
 72f3465ed1c27acb9ec055e7a9df066d 7691 ocaml optional coquelicot_3.4.1-1build2_arm64.buildinfo
 9311baea873ca225ecb91706768f6f0f 3768600 ocaml optional libcoq-coquelicot_3.4.1-1build2_arm64.deb