>> Trisquel >> Pakketten >> etiona >> virtual >> libmathcomp-coq

[ etiona ] [ nabia ] [ aramo ]

Virtueel pakket: libmathcomp-coq

Dit is een virtueel pakket. Zie het Debian beleidshandboek voor de definitie van een virtueel pakket.

Pakketten die libmathcomp-coq bieden:

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