[ aramo ]
Virtuálny balík: libaac-tactics-ocaml-dev-hf7x7
Toto je virtuálny balík. Pozrite si politiku Debianu, kde nájdete definíciu virtuálnych balíkov.
Balíky poskytujúce libaac-tactics-ocaml-dev-hf7x7
- libaac-tactics-ocaml-dev
- Coq tactics for reasoning modulo AC (devt files)