Format: 1.8
Date: Mon, 24 Jul 2023 08:21:32 +0200
Source: mathcomp-real-closed
Binary: libcoq-mathcomp-real-closed
Built-For-Profiles: noudeb
Architecture: riscv64
Version: 1.1.4-2
Distribution: mantic-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@riscv64-qemu-lgw01-073.buildd>
Changed-By: Stéphane Glondu <glondu@debian.org>
Description:
 libcoq-mathcomp-real-closed - Real closed fields for Mathematical Components
Changes:
 mathcomp-real-closed (1.1.4-2) unstable; urgency=medium
 .
   * Team upload
   * Fix call to dune install
Checksums-Sha1:
 f44a27e76f74afe80995065ae29edf770eebcc77 2630964 libcoq-mathcomp-real-closed_1.1.4-2_riscv64.deb
 2463b3f414dd9087034a7c668c8c02636064757d 6630 mathcomp-real-closed_1.1.4-2_riscv64.buildinfo
Checksums-Sha256:
 096f0f116db2122b4d7dab89bfca328bbb08698a306a9e5c520b04e0f02af512 2630964 libcoq-mathcomp-real-closed_1.1.4-2_riscv64.deb
 b61e84603646805088120699fc5014cfee93b87ecf0d9eb0c53eac621541fb22 6630 mathcomp-real-closed_1.1.4-2_riscv64.buildinfo
Files:
 1ce3228c41bda138b1609959b19fd562 2630964 ocaml optional libcoq-mathcomp-real-closed_1.1.4-2_riscv64.deb
 67995d449a6bfc9077e4f94c65c19123 6630 ocaml optional mathcomp-real-closed_1.1.4-2_riscv64.buildinfo