Virtual Package: libcoq-serapi-ocaml-sh7u8

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

Packages providing libcoq-serapi-ocaml-sh7u8

libcoq-serapi-ocaml

interaction with Coq (runtime)