Virtual Package: libcoq-serapi-ocaml-cpl89

This is a virtual package. See the Debian policy for a definition of virtual packages.

Packages providing libcoq-serapi-ocaml-cpl89

libcoq-serapi-ocaml

interaction with Coq (runtime)