[ aramo ]
Virtuálny balík: libcoq-elpi-ocaml-dev-gdau9
Toto je virtuálny balík. Pozrite si politiku Debianu, kde nájdete definíciu virtuálnych balíkov.
Balíky poskytujúce libcoq-elpi-ocaml-dev-gdau9
- libcoq-elpi-ocaml-dev
- Coq plugin embedding Elpi (devel)