[ etiona ]
Paquet virtuel : libcoq-ocaml-dev-ywd98
Ceci est un paquet virtuel. Consultez la charte Debian pour une définition des paquets virtuels.
Paquets fournissant libcoq-ocaml-dev-ywd98
- libcoq-ocaml-dev
- development libraries and tools for Coq