Package: libcoq-mathcomp-zify
Architecture: amd64
Version: 1.5.0+2.0+8.16-4build5
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-g6ie9
Depends: libcoq-mathcomp-algebra-tliv7
Suggests: ocaml-findlib
Filename: pool/universe/m/mathcomp-zify/libcoq-mathcomp-zify_1.5.0+2.0+8.16-4build5_amd64.deb
Size: 314906
MD5sum: 5806797e0577632395d657a5246ec654
SHA1: 34f57716172759a54e34b4b13bbdcec849b60da2
SHA256: 1741cae057168736deeab486534dfdb65afa531c32e0f2681a32ae899d62f8fb
SHA512: d08020ed32d3819f061d21cf1d2c4a602fdd46043f17aa35d0ffdafcf9a456279dafdb498952015c5c252e9d36334eeb689f88054ec42334f7c5e5c51f2098fb
Homepage: https://github.com/math-comp/mczify
Description: Micromega arithmetic solvers for Mathematical Components
Description-md5: 8ebd7c2d5b5c152562b3095d68876570