Format: 1.8
Date: Thu, 16 Feb 2023 19:29:55 +0100
Source: coquelicot
Binary: libcoq-coquelicot
Built-For-Profiles: noudeb
Architecture: s390x
Version: 3.2.0-8build2
Distribution: lunar-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-s390x-010.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:
 bb46c4c8c00b05937b3c091a069d9143b2e8a839 6503 coquelicot_3.2.0-8build2_s390x.buildinfo
 f0bc3b8f3a2c68fb31c187cb5a01603bcad3c967 3747126 libcoq-coquelicot_3.2.0-8build2_s390x.deb
Checksums-Sha256:
 3bf716983399e20da58d02d35aadd079c9dca170566273d4477bd76e2095f598 6503 coquelicot_3.2.0-8build2_s390x.buildinfo
 ee5f8310fc7c05f9bca279ae762cac3b8a43339e79e0c2d210bef592b3d89790 3747126 libcoq-coquelicot_3.2.0-8build2_s390x.deb
Files:
 802283aa4e43765b9ab1c635fe434029 6503 ocaml optional coquelicot_3.2.0-8build2_s390x.buildinfo
 a7836fb3d669058856d5bdc8282cc916 3747126 ocaml optional libcoq-coquelicot_3.2.0-8build2_s390x.deb