Virtuellt paket: libcoq-core-ocaml-dev-aosg1
Detta är ett virtuellt paket. Se Debians policy för en definition av virtuella paket.
Paket som tillhandahåller libcoq-core-ocaml-dev-aosg1
- libcoq-core-ocaml-dev
- development libraries and tools for Coq
Detta är ett virtuellt paket. Se Debians policy för en definition av virtuella paket.