Package: libcoq-serapi-ocaml
Source: coq-serapi
Version: 8.20.0+0.20.0-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: 21699
Depends: libcoq-ocaml
Provides: libcoq-serapi-ocaml-gl1n3
Section: ocaml
Priority: optional
Homepage: https://github.com/ejgallego/coq-serapi
Description: interaction with Coq (runtime)
 SerAPI provides a library for machine-to-machine
 interaction with Coq with particular emphasis on
 integrated development environments, code analysis tools
 and machine learning.
 .
 Coq is a proof assistant for higher-order logic.
 .
 This package provides runtime libraries for the serapi plugin.
