Format: 1.8
Date: Sat, 30 Mar 2024 11:54:28 +0100
Source: mathcomp-real-closed
Binary: libcoq-mathcomp-real-closed
Built-For-Profiles: noudeb
Architecture: riscv64
Version: 2.0.0-2
Distribution: oracular-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos03-riscv64-057.buildd>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 libcoq-mathcomp-real-closed - Real closed fields for Mathematical Components
Changes:
 mathcomp-real-closed (2.0.0-2) unstable; urgency=medium
 .
   * Bump for binary compatibility.
Checksums-Sha1:
 f7cb62f2fff59340b0202bbd88655d2d12a93eb6 2886186 libcoq-mathcomp-real-closed_2.0.0-2_riscv64.deb
 a4ef72ad51015d1e3297b4a2190f8229b0253287 7668 mathcomp-real-closed_2.0.0-2_riscv64.buildinfo
Checksums-Sha256:
 7166335f57732d4392c28103c64c3b7a8e213969f9087b5fd942a50c068e0c1b 2886186 libcoq-mathcomp-real-closed_2.0.0-2_riscv64.deb
 16a5c8fd4507904c15355c4453010228a96cc20cb785bd4eda1999a9d1630d78 7668 mathcomp-real-closed_2.0.0-2_riscv64.buildinfo
Files:
 1926302a865de5dd15464da539518557 2886186 ocaml optional libcoq-mathcomp-real-closed_2.0.0-2_riscv64.deb
 5c6c919ce9c8f17c43f87006039b545e 7668 ocaml optional mathcomp-real-closed_2.0.0-2_riscv64.buildinfo