Format: 1.8
Date: Sat, 03 Dec 2022 10:46:18 +0100
Source: coquelicot
Binary: libcoq-coquelicot
Built-For-Profiles: noudeb
Architecture: s390x
Version: 3.2.0-7build3
Distribution: lunar-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-s390x-015.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 libcoq-coquelicot - Coq library for real analysis
Changes:
 coquelicot (3.2.0-7build3) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 32d98ac92a38568e4a764ee80c729612954f353a 6526 coquelicot_3.2.0-7build3_s390x.buildinfo
 e40a85b4ead00ce37c7bdeb128d107dae1a3bc1c 3749440 libcoq-coquelicot_3.2.0-7build3_s390x.deb
Checksums-Sha256:
 f862430ca3d0a645fe399e405ac114cca41fc0b2c233e8558ce89a9368fb0faa 6526 coquelicot_3.2.0-7build3_s390x.buildinfo
 e804d7b04e9e7b2af7f5e1aaf5da76ce8399ddf383b5169f9c4900ac3be98fcd 3749440 libcoq-coquelicot_3.2.0-7build3_s390x.deb
Files:
 371269433b6e403d453afa2f2e375e57 6526 ocaml optional coquelicot_3.2.0-7build3_s390x.buildinfo
 c7e01d044a159afc7ec6a8ce7c7a9f19 3749440 ocaml optional libcoq-coquelicot_3.2.0-7build3_s390x.deb
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>