Format: 1.8
Date: Fri, 25 Nov 2022 09:24:33 +0100
Source: coquelicot
Binary: libcoq-coquelicot
Built-For-Profiles: noudeb
Architecture: arm64
Version: 3.2.0-7build2
Distribution: lunar-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-arm64-029.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:
 7dc05bde1f879f362a9a15e29af3d0c5e3598264 6697 coquelicot_3.2.0-7build2_arm64.buildinfo
 e91d4d31e73148b759930046f0980bc0cefc300c 3749334 libcoq-coquelicot_3.2.0-7build2_arm64.deb
Checksums-Sha256:
 39d53fd7b2c200194b0d06fd8299273d55be012d478adcb22bbc208e363e4959 6697 coquelicot_3.2.0-7build2_arm64.buildinfo
 dc3bc85bf307b8fde89a937f8c995d27804f511ca738f5dec710ecadf32f59c3 3749334 libcoq-coquelicot_3.2.0-7build2_arm64.deb
Files:
 2c43abb6bb3a695a2ca0cf0716889750 6697 ocaml optional coquelicot_3.2.0-7build2_arm64.buildinfo
 b6ee13278169f74c5f32c8b1fcdf6009 3749334 ocaml optional libcoq-coquelicot_3.2.0-7build2_arm64.deb
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>