[ etiona ]
Virtuálny balík: libcoq-ocaml-ywd98
Toto je virtuálny balík. Pozrite si politiku Debianu, kde nájdete definíciu virtuálnych balíkov.
Balíky poskytujúce libcoq-ocaml-ywd98
- libcoq-ocaml
- runtime libraries for Coq
Toto je virtuálny balík. Pozrite si politiku Debianu, kde nájdete definíciu virtuálnych balíkov.