Package: libcoq-core-ocaml
Architecture: amd64
Version: 8.20.1+dfsg-1
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: 58713
Provides: libcoq-core-ocaml-at3u5, libcoq-ocaml (= 8.20.1+dfsg-1)
Depends: libfindlib-ocaml-5ych3, libstdlib-ocaml-fxjy5, libzarith-ocaml-f1se9, ocaml-base-5.3.0, 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.20.1+dfsg-1_amd64.deb
Size: 26816654
MD5sum: 31a338adabad6190f3792472f53655fc
SHA1: a41aec07ed5cfcca648b9d9728a5ca033f8d8b2d
SHA256: c68b482875b60cef7d61b6585cce20d6e3b338eeaf0d51c4fdb5415970e02d6e
SHA512: f0ab609aaf7dd7ff03d1f5651273c02d9a6e620328abd598ebc02f16abe469cfca107e27167e6f1e5bbb6d4352f5d847cfd4ef01d135d7dfe12ddcb893dc4f58
Homepage: http://coq.inria.fr/
Description: runtime libraries for Coq
Description-md5: 6f9fa9509e05b95dc040fa6f750867c3