[ etiona ]
Virtuálny balík: libcoq-ocaml-dev-6pjp3
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-dev-6pjp3
- libcoq-ocaml-dev
- development libraries and tools for Coq