>> Trisquel >> Balíky >> etiona >> virtual >> libmathcomp-coq

[ etiona ] [ nabia ] [ aramo ]

Virtuálny balík: libmathcomp-coq

Toto je virtuálny balík. Pozrite si politiku Debianu, kde nájdete definíciu virtuálnych balíkov.

Balíky poskytujúce libmathcomp-coq

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