[ aramo ]
Paquet virtuel : libcoq-elpi-ocaml-dev-gdau9
Ceci est un paquet virtuel. Consultez la charte Debian pour une définition des paquets virtuels.
Paquets fournissant libcoq-elpi-ocaml-dev-gdau9
- libcoq-elpi-ocaml-dev
- Coq plugin embedding Elpi (devel)