Virtueel pakket: libcoq-core-ocaml-dev-k4nx1

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

Pakketten die libcoq-core-ocaml-dev-k4nx1 bieden:

libcoq-core-ocaml-dev

development libraries and tools for Coq