Format: 1.8
Date: Thu, 16 Feb 2023 19:29:55 +0100
Source: coquelicot
Binary: libcoq-coquelicot
Built-For-Profiles: noudeb
Architecture: armhf
Version: 3.2.0-8build2
Distribution: lunar-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-arm64-057.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 libcoq-coquelicot - Coq library for real analysis
Changes:
 coquelicot (3.2.0-8build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 d7aebf160fbfef2ae522e42aad9e4dbfb9c02d86 6472 coquelicot_3.2.0-8build2_armhf.buildinfo
 df64f2705dee267440fb8fdd1ee38a3b50be2b65 3746064 libcoq-coquelicot_3.2.0-8build2_armhf.deb
Checksums-Sha256:
 fe8ee55ee7f94b7d2890955f7322a49c143f70b67e328d95005360ae951d8ddb 6472 coquelicot_3.2.0-8build2_armhf.buildinfo
 43e9d4c8a9041da729c2008a6693bec0b3288708813c8fb7613f6c860ea938ad 3746064 libcoq-coquelicot_3.2.0-8build2_armhf.deb
Files:
 0810beb0f85650f54c51c4a4c61e2aef 6472 ocaml optional coquelicot_3.2.0-8build2_armhf.buildinfo
 51b0fd7425e8557f7e3cba1a034f411a 3746064 ocaml optional libcoq-coquelicot_3.2.0-8build2_armhf.deb