Format: 1.8
Date: Sat, 03 Dec 2022 10:46:18 +0100
Source: coquelicot
Binary: libcoq-coquelicot
Built-For-Profiles: noudeb
Architecture: riscv64
Version: 3.2.0-7build3
Distribution: lunar-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@riscv64-qemu-lgw01-023.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:
 ac6308c22e8e8592fe4c4a03ac23476a7fd691fc 6469 coquelicot_3.2.0-7build3_riscv64.buildinfo
 ba26e0d5965188103caa53b445e197d84737430d 3749266 libcoq-coquelicot_3.2.0-7build3_riscv64.deb
Checksums-Sha256:
 93654b59a245af72a358155ed6709cf4460f1aba91c535975770c2852b466f54 6469 coquelicot_3.2.0-7build3_riscv64.buildinfo
 ebfcf3f280bc6123bd2589a9f9a2830828d0740f8eb9e02fd69dff457a5084c3 3749266 libcoq-coquelicot_3.2.0-7build3_riscv64.deb
Files:
 2c2adb506cb7fbfe962d88d9cf924d6e 6469 ocaml optional coquelicot_3.2.0-7build3_riscv64.buildinfo
 c170778d75f480ac944ce4ab1c75c09c 3749266 ocaml optional libcoq-coquelicot_3.2.0-7build3_riscv64.deb
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>