Skip to content
Sections
>> Trisquel >> Paket >> aramo >> virtual >> libssreflect-coq
[  etiona  ] [  nabia  ] [  aramo  ]

Virtuellt paket: libssreflect-coq

Detta är ett virtuellt paket. Se Debians policy för en definition av virtuella paket.

Paket som tillhandahåller libssreflect-coq

libcoq-mathcomp
Mathematical Components library for Coq (all)