Package: libcoq-mathcomp-zify
Architecture: amd64
Version: 1.5.0+2.0+8.16-4build9
Priority: optional
Section: universe/ocaml
Source: mathcomp-zify
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 975
Provides: libcoq-mathcomp-zify-j7sb2
Depends: libcoq-mathcomp-algebra-ia346
Suggests: ocaml-findlib
Filename: pool/universe/m/mathcomp-zify/libcoq-mathcomp-zify_1.5.0+2.0+8.16-4build9_amd64.deb
Size: 314084
MD5sum: 7ee6c3a27a7ffd3baf19e61af428965e
SHA1: d2b4c00373e13d9e2e899ef6e9ddf92db636bc39
SHA256: 075ec52d55fb5d9938eff3de52f1847ed2fee9a4f3c94d7d5c5417d386b5bc02
SHA512: a6bb5c274e25576ec5c9e3289c4aa59092783c9b440dbd1c837b60561673257af08f88e8dd307dab16a737a0cb84c6b1cfbe06c4568cecd00653f220cd2b64b8
Homepage: https://github.com/math-comp/mczify
Description: Micromega arithmetic solvers for Mathematical Components
Description-md5: 8ebd7c2d5b5c152562b3095d68876570