Virtueel pakket: libcoq-serapi-ocaml-dev-kwah1

Dit is een virtueel pakket. Zie het Debian beleidshandboek voor de definitie van een virtueel pakket.

Pakketten die libcoq-serapi-ocaml-dev-kwah1 bieden:

libcoq-serapi-ocaml-dev

interaction with Coq (devel)