Virtuellt paket: libcoq-elpi-ocaml-dev-gdau9
Detta är ett virtuellt paket. Se Debians policy för en definition av virtuella paket.
Paket som tillhandahåller libcoq-elpi-ocaml-dev-gdau9
- libcoq-elpi-ocaml-dev
- Coq plugin embedding Elpi (devel)
Detta är ett virtuellt paket. Se Debians policy för en definition av virtuella paket.