Format: 1.8
Date: Thu, 26 Jan 2023 09:48:56 +0100
Source: coquelicot
Binary: libcoq-coquelicot
Built-For-Profiles: noudeb
Architecture: amd64
Version: 3.2.0-7build4
Distribution: lunar-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@lcy02-amd64-088.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 libcoq-coquelicot - Coq library for real analysis
Changes:
 coquelicot (3.2.0-7build4) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 265b44562decfa23d0c15eed6135ca33d620bfe2 6644 coquelicot_3.2.0-7build4_amd64.buildinfo
 a5e9c3d826af100142a46317e7ef1e2722dd35ab 3749340 libcoq-coquelicot_3.2.0-7build4_amd64.deb
Checksums-Sha256:
 8d659cb3e05989195aad82d872bd136ad4926a3876d88678ef7bf4bbc1679b92 6644 coquelicot_3.2.0-7build4_amd64.buildinfo
 7c3eeeae44541cb897ecaa356705630f5f1ac4dec62d7a34e4a753cc887f290d 3749340 libcoq-coquelicot_3.2.0-7build4_amd64.deb
Files:
 f76e3ecef90f302f4939d6f077835c0a 6644 ocaml optional coquelicot_3.2.0-7build4_amd64.buildinfo
 efdaf1748c1aec6c419171dfdd47c58a 3749340 ocaml optional libcoq-coquelicot_3.2.0-7build4_amd64.deb
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>