Format: 1.8
Date: Fri, 25 Nov 2022 09:24:33 +0100
Source: coquelicot
Binary: libcoq-coquelicot
Built-For-Profiles: noudeb
Architecture: s390x
Version: 3.2.0-7build2
Distribution: lunar-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-s390x-007.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 libcoq-coquelicot - Coq library for real analysis
Changes:
 coquelicot (3.2.0-7build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 da54f48148539c45117dc9a8f3cbb85bb6caf39b 6568 coquelicot_3.2.0-7build2_s390x.buildinfo
 23cb845251d3db1160b1fcd2360061b280a2e2e8 3749258 libcoq-coquelicot_3.2.0-7build2_s390x.deb
Checksums-Sha256:
 fb7c49c95b8ad11c4aa6eb4f5098e4b382ffa3ce946557a6947565b56788cf35 6568 coquelicot_3.2.0-7build2_s390x.buildinfo
 f95fcdbc25ca6fd75b0285f61112ce34092a1d1138e03d0bd2405f9111cdd75e 3749258 libcoq-coquelicot_3.2.0-7build2_s390x.deb
Files:
 c76b58d82bbdfd9b0cc3a3e599eaf114 6568 ocaml optional coquelicot_3.2.0-7build2_s390x.buildinfo
 9deae556e454eefed7c5d1bebd7cf82f 3749258 ocaml optional libcoq-coquelicot_3.2.0-7build2_s390x.deb
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>