Format: 1.8
Date: Fri, 22 Apr 2022 11:36:47 +0200
Source: mathcomp-zify
Binary: libcoq-mathcomp-zify
Built-For-Profiles: noudeb
Architecture: ppc64el
Version: 1.2.0+1.12+8.13-1
Distribution: kinetic-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-ppc64el-006.buildd>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 libcoq-mathcomp-zify - Micromega arithmetic solvers for Mathematical Components
Closes: 1010007
Changes:
 mathcomp-zify (1.2.0+1.12+8.13-1) unstable; urgency=medium
 .
   * Initial release. (Closes: #1010007)
Checksums-Sha1:
 e66ed4715d6fdb1bc5b95658f301956739123ac3 269158 libcoq-mathcomp-zify_1.2.0+1.12+8.13-1_ppc64el.deb
 6cfdbc41422ff888d97c2ec5d5040d1a748cc5e8 6685 mathcomp-zify_1.2.0+1.12+8.13-1_ppc64el.buildinfo
Checksums-Sha256:
 8abc2b7ac52491d95e728b21373a1b60b48ee5bd4ae5c24fbd87a7bbd3150c1b 269158 libcoq-mathcomp-zify_1.2.0+1.12+8.13-1_ppc64el.deb
 6b5e369b9a5a87ead503b152224045f019f75a3269e933ab7d1ec796cf8593bc 6685 mathcomp-zify_1.2.0+1.12+8.13-1_ppc64el.buildinfo
Files:
 f63a13ef68c5770775fd64e44698f22c 269158 ocaml optional libcoq-mathcomp-zify_1.2.0+1.12+8.13-1_ppc64el.deb
 79afa87a9b48ac0e8fcd13cb9b3d06b5 6685 ocaml optional mathcomp-zify_1.2.0+1.12+8.13-1_ppc64el.buildinfo