Paquet virtuel : libcoq-ocaml-6pjp3
Ceci est un paquet virtuel. Consultez la charte Debian pour une définition des paquets virtuels.
Paquets fournissant libcoq-ocaml-6pjp3
- libcoq-ocaml
- runtime libraries for Coq
Ceci est un paquet virtuel. Consultez la charte Debian pour une définition des paquets virtuels.