Package: libcoq-mathcomp-zify
Source: mathcomp-zify
Priority: optional
Section: universe/ocaml
Installed-Size: 975
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 1.5.0+2.0+8.16-4build14
Suggests: ocaml-findlib
Provides: libcoq-mathcomp-zify-a50p6
Depends: libcoq-mathcomp-algebra-stlv8
Filename: pool/universe/m/mathcomp-zify/libcoq-mathcomp-zify_1.5.0+2.0+8.16-4build14_amd64.deb
Size: 315040
MD5sum: 4f8a81021c5f385a1052e1ac5afee9f2
SHA1: 745beb22390c1f166de24034d2aef807892137f3
SHA256: ed7ecebf8578b08ed444704909cf9710be7ac10b1d3e25bf8d1d95bce2acfed6
SHA512: 46eda2dd9b8b8b2ec22ec692ce4a843357d2f47303110f86b96050ebcbafd68c1267020b331cc171cd7a5663b77ccd676d89331f3a4a7a748d0940c7a0353ad3
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