>> Trisquel >> Balíky >> aramo >> virtual >> libcoq-core-ocaml-nf5u3

[ aramo ]

Virtuálny balík: libcoq-core-ocaml-nf5u3

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

Balíky poskytujúce libcoq-core-ocaml-nf5u3

libcoq-core-ocaml: runtime libraries for Coq