Package: libcoq-unicoq
Architecture: amd64
Version: 1.6-8.19-2build3
Priority: optional
Section: universe/ocaml
Source: coq-unicoq
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: 594
Provides: libcoq-unicoq-tqpd5
Depends: libcoq-stdlib-dksn3
Filename: pool/universe/c/coq-unicoq/libcoq-unicoq_1.6-8.19-2build3_amd64.deb
Size: 93398
MD5sum: 874d965e20dadfbae242040751873f00
SHA1: d40e4c8f30ddd3ad737370edc39deeaf6569cd88
SHA256: aa9b142e09c42cefda1fae78bd7ba4474ee0233bc5a62f31454e4eb3fa955836
SHA512: 4eaa9cadd038bf108bfb519e64a54763ad1203c94b29b6d346a4196e05dfdd3743d28c766c9e8337bb1e5791b40ef66b161e68e38dcd36415f5ea536d2cb5bd6
Homepage: https://github.com/unicoq/unicoq/
Description: enhanced unification algorithm for Coq
Description-md5: 48caa7101c0321542fff948271f05d89