[ etiona ]
Virtueel pakket: libcoq-ocaml-ywd98
Dit is een virtueel pakket. Zie het Debian beleidshandboek voor de definitie van een virtueel pakket.
Pakketten die libcoq-ocaml-ywd98 bieden:
- libcoq-ocaml
- runtime libraries for Coq
Dit is een virtueel pakket. Zie het Debian beleidshandboek voor de definitie van een virtueel pakket.