>> Trisquel >> Balíky >> aramo >> virtual >> libssreflect-coq

[ etiona ] [ nabia ] [ aramo ]

Virtuálny balík: libssreflect-coq

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

Balíky poskytujúce libssreflect-coq

libcoq-mathcomp: Mathematical Components library for Coq (all)