Package: libcoq-mathcomp-zify
Source: mathcomp-zify
Priority: optional
Section: universe/ocaml
Installed-Size: 1024
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 1.7.0+2.4+9.0-1build1
Suggests: ocaml-findlib
Provides: libcoq-mathcomp-zify-4i513
Depends: libcoq-mathcomp-algebra-qptj6
Filename: pool/universe/m/mathcomp-zify/libcoq-mathcomp-zify_1.7.0+2.4+9.0-1build1_amd64.deb
Size: 338644
SHA512: 11b3093c018c11e206cc85068163b12c2036284e1e7547d51e4c3c61b96f41f5fe2a06f0c90d2db6670a8f197a4383ec46c9937287c49c104b14f737819fe628
Homepage: https://github.com/math-comp/mczify
Description: Micromega arithmetic solvers for Mathematical Components
Description-md5: 8ebd7c2d5b5c152562b3095d68876570
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug