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

Sanal Paket: libmathcomp-coq

Bu bir sanal pakettir. Sanal paketlerin tanımı için Debian ilkesine bakın.

libmathcomp-coq sağlayan paketler

libcoq-mathcomp
Mathematical Components library for Coq (all)