Skip to content
Sections
>> Trisquel >> Paquets >> nabia >> virtual >> libmathcomp-coq
[  etiona  ] [  nabia  ] [  aramo  ]

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
Mathematical Components library for Coq