Package: libcoq-core-ocaml
Source: coq
Version: 8.20.1+dfsg-1build4
Architecture: arm64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 93914
Depends: libfindlib-ocaml-otnp7, libstdlib-ocaml-kjuo1, libzarith-ocaml-0x2c5, ocaml-base-5.4.0, libc6 (>= 2.17)
Suggests: ocaml-findlib
Breaks: coq-libs, libcoq-ocaml
Replaces: coq-libs, libcoq-ocaml
Provides: libcoq-core-ocaml-c2238, libcoq-ocaml (= 8.20.1+dfsg-1build4)
Section: ocaml
Priority: optional
Homepage: http://coq.inria.fr/
Description: runtime libraries for Coq
 Coq is a proof assistant for higher-order logic, which allows the
 development of computer programs consistent with their formal
 specification. It is developed using Objective Caml and Camlp5.
 .
 This package provides runtime libraries for Coq.
