Package: libcoq-mathcomp-zify
Architecture: amd64
Version: 1.5.0+2.0+8.16-3build7
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: 1332
Provides: libcoq-mathcomp-zify-rno17
Depends: libcoq-mathcomp-algebra-lyc29
Suggests: ocaml-findlib
Filename: pool/universe/m/mathcomp-zify/libcoq-mathcomp-zify_1.5.0+2.0+8.16-3build7_amd64.deb
Size: 281686
MD5sum: 63279f1327e58836ea199c06a47a0e37
SHA1: 19a2a7e3394d585df56298c3f0e2faf0edf3bbe1
SHA256: 1224a58e05637f3a733c9ac81751983014f4290c62fcc595adf9e6065c0c0a60
SHA512: 6373c8cd816fb41100518c22d0f52d957cfd22907c7eefd2418ed42ced79f402bbbcad8010c94d074aec3f5d3cf1e52f1c69b6f8d3f03ed603a02b623f672cf6
Homepage: https://github.com/math-comp/mczify
Description: Micromega arithmetic solvers for Mathematical Components
Description-md5: 8ebd7c2d5b5c152562b3095d68876570