Format: 1.8
Date: Sat, 24 Feb 2024 12:16:34 +0100
Source: mathcomp-zify
Binary: libcoq-mathcomp-zify
Built-For-Profiles: noudeb
Architecture: riscv64
Version: 1.5.0+2.0+8.16-2
Distribution: oracular-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos03-riscv64-035.buildd>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 libcoq-mathcomp-zify - Micromega arithmetic solvers for Mathematical Components
Changes:
 mathcomp-zify (1.5.0+2.0+8.16-2) unstable; urgency=medium
 .
   * Bump version because of binary issue.
Checksums-Sha1:
 9178e6e01d76a41a39e29cd95bdc532a1ea0bd3a 281858 libcoq-mathcomp-zify_1.5.0+2.0+8.16-2_riscv64.deb
 0f867557d92679e5ddef00f5ce1f21d5962ee0e6 7519 mathcomp-zify_1.5.0+2.0+8.16-2_riscv64.buildinfo
Checksums-Sha256:
 ab68d09ce39899dad92ca028ef49c721e4e3bb23df60e99bb7ffafcd0243f1d1 281858 libcoq-mathcomp-zify_1.5.0+2.0+8.16-2_riscv64.deb
 cbc0111b9ab1d5b7691336d4321e120d4933487fc7cb62b6a44c1a7443b7c4b3 7519 mathcomp-zify_1.5.0+2.0+8.16-2_riscv64.buildinfo
Files:
 e7c8f758762ab70e9211f6fe6b62cce4 281858 ocaml optional libcoq-mathcomp-zify_1.5.0+2.0+8.16-2_riscv64.deb
 537f66dd39ea5a041f802d47002d1f1f 7519 ocaml optional mathcomp-zify_1.5.0+2.0+8.16-2_riscv64.buildinfo