Package: libcoq-core-ocaml
Source: coq
Priority: optional
Section: universe/ocaml
Installed-Size: 87215
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 8.20.1+dfsg-1build4
Replaces: coq-libs, libcoq-ocaml
Suggests: ocaml-findlib
Provides: libcoq-core-ocaml-dmxj4, libcoq-ocaml (= 8.20.1+dfsg-1build4)
Depends: libfindlib-ocaml-vumr3, libstdlib-ocaml-kjuo1, libzarith-ocaml-0x2c5, ocaml-base-5.4.0, libc6 (>= 2.4)
Breaks: coq-libs, libcoq-ocaml
Filename: pool/universe/c/coq/libcoq-core-ocaml_8.20.1+dfsg-1build4_amd64.deb
Size: 28275532
MD5sum: 8c70c154c01e6fd4cb6eff74f7a2520a
SHA1: 2efb4840c10c1ac9f1827f7eb612383323a8b4d8
SHA256: ec11958e2133c8cfa2eeb7fcde789cd0a4d9034c7a3eaa0bc2cfaad84c60414b
SHA512: 50570749497db89c8e06518649fdb07d36b85d7567fbfdb7759d65ace2a0743c53c89b5b4015ff482a819267d5e3acf5a739bb80e5e8a724aa0baa6f6da25750
Homepage: http://coq.inria.fr/
Description: runtime libraries for Coq
Description-md5: 6f9fa9509e05b95dc040fa6f750867c3
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug