Package: libcoq-mathcomp-zify
Architecture: amd64
Version: 1.5.0+2.0+8.16-1build5
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: 1323
Provides: libcoq-mathcomp-zify-6q1x8
Depends: libcoq-mathcomp-algebra-kgjy6
Suggests: ocaml-findlib
Filename: pool/universe/m/mathcomp-zify/libcoq-mathcomp-zify_1.5.0+2.0+8.16-1build5_amd64.deb
Size: 273074
MD5sum: e26fa93147f501dd65767b300403587b
SHA1: 268c328d9c6f2fba0970716a21c65c61b4733ec5
SHA256: 77cb99271f92322ab2624aa02931c14602446cbfa233706a5c0cdab744e79600
SHA512: 2d9f1c45a6bbe3fd83ba1d6648e1a7a6edcad0244def5403cfb8b2a631a2a8c30c9296d2b31f9b1cccc52727bf3e35951315c3c289b9bd0d961d88731959a151
Homepage: https://github.com/math-comp/mczify
Description: Micromega arithmetic solvers for Mathematical Components
Description-md5: 8ebd7c2d5b5c152562b3095d68876570