Format: 1.8
Date: Tue, 17 May 2022 21:41:09 +0200
Source: mathcomp-zify
Binary: libcoq-mathcomp-zify
Built-For-Profiles: noudeb
Architecture: riscv64
Version: 1.2.0+1.12+8.13-2
Distribution: kinetic-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@riscv64-qemu-lcy01-030.buildd>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 libcoq-mathcomp-zify - Micromega arithmetic solvers for Mathematical Components
Changes:
 mathcomp-zify (1.2.0+1.12+8.13-2) unstable; urgency=medium
 .
   * Bump standards-version to 4.6.1.
Checksums-Sha1:
 8122c10d24f7b23a4590a8d96f0a16903b614d17 269244 libcoq-mathcomp-zify_1.2.0+1.12+8.13-2_riscv64.deb
 beea1c588cac705880ebacf25f9c3c51436a8bb5 6497 mathcomp-zify_1.2.0+1.12+8.13-2_riscv64.buildinfo
Checksums-Sha256:
 5fb2da38d2cf04449d122ecf3beb91d47831032430c612fd5145eb4250c91720 269244 libcoq-mathcomp-zify_1.2.0+1.12+8.13-2_riscv64.deb
 9424c74fe919ecb1428e2b5d233cf78f5ed2abc96b58223175233728554f16e7 6497 mathcomp-zify_1.2.0+1.12+8.13-2_riscv64.buildinfo
Files:
 8e601e6ed2ebd2fa118206a722d21637 269244 ocaml optional libcoq-mathcomp-zify_1.2.0+1.12+8.13-2_riscv64.deb
 7dcc5c104072f93ffc1aa55fad8f3409 6497 ocaml optional mathcomp-zify_1.2.0+1.12+8.13-2_riscv64.buildinfo