Paquet virtuel : libmathcomp-coq
Ceci est un paquet virtuel. Consultez la charte Debian pour une définition des paquets virtuels.
Paquets fournissant libmathcomp-coq
- libssreflect-coq
- small scale reflection library for Coq (theories)
Ceci est un paquet virtuel. Consultez la charte Debian pour une définition des paquets virtuels.