Package: libcoq-core-ocaml
Architecture: amd64
Version: 8.18.0+dfsg-1build2
Priority: optional
Section: universe/ocaml
Source: coq
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: 83088
Provides: libcoq-core-ocaml-fg9y1, libcoq-ocaml (= 8.18.0+dfsg-1build2)
Depends: libfindlib-ocaml-449z9, libstdlib-ocaml-ep7y0, libzarith-ocaml-zlfv4, ocaml-base-4.14.1, libc6 (>= 2.4)
Suggests: ocaml-findlib
Breaks: coq-libs, libcoq-ocaml
Replaces: coq-libs, libcoq-ocaml
Filename: pool/universe/c/coq/libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb
Size: 27687350
MD5sum: d49ffee126f3c978359f586dda61940d
SHA1: ab669f899897ceb645d4c7f8531719c3c72f5609
SHA256: 027c8fb39db20de4910f8a75e0b9a32c0fbc27c6f532375ed7604757f71c12a9
SHA512: fd035f04e82c5a070bbddebf4e03a93335405e83129b879561c4188b51ababfd9f4fac936f688ee7f6d7f92e53adcd491429bf59b2146be28abac4043f1de321
Homepage: http://coq.inria.fr/
Description: runtime libraries for Coq
Description-md5: 6f9fa9509e05b95dc040fa6f750867c3