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

Virtuellt paket: libmathcomp-coq

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

Paket som tillhandahåller libmathcomp-coq

libssreflect-coq
small scale reflection library for Coq (theories)