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: ppc64el
Version: 2.0.0-2
Distribution: oracular-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos01-ppc64el-013.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:
 4dd6bd956e3b95c69e7e8d2b54007ff5a12b354b 2886620 libcoq-mathcomp-real-closed_2.0.0-2_ppc64el.deb
 3d0334dd0f3da7395af06eb0ffc4c1c27352704d 7846 mathcomp-real-closed_2.0.0-2_ppc64el.buildinfo
Checksums-Sha256:
 6d5ba74aa1cb0c8f0dbdf48c59eb71f4b66dffb80c149b1c21eb8ce6a649ff97 2886620 libcoq-mathcomp-real-closed_2.0.0-2_ppc64el.deb
 a1e30687746c0a1f71d43d22d667eb2a8badc27c4ca16637a3eaa6bf48a957be 7846 mathcomp-real-closed_2.0.0-2_ppc64el.buildinfo
Files:
 6ff57361451206c3837b0ce9c6791ffb 2886620 ocaml optional libcoq-mathcomp-real-closed_2.0.0-2_ppc64el.deb
 d838ec75c317c6454f7182de8169efba 7846 ocaml optional mathcomp-real-closed_2.0.0-2_ppc64el.buildinfo