Virtueel pakket: libcoq-core-ocaml-t2147

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

Pakketten die libcoq-core-ocaml-t2147 bieden:

libcoq-core-ocaml

runtime libraries for Coq