[ etiona ]
Sanal Paket: libaac-tactics-ocaml-hv7z9
Bu bir sanal pakettir. Sanal paketlerin tanımı için Debian ilkesine bakın.
libaac-tactics-ocaml-hv7z9 sağlayan paketler
- libaac-tactics-ocaml
- Coq tactics for reasoning modulo AC (plugin)
Bu bir sanal pakettir. Sanal paketlerin tanımı için Debian ilkesine bakın.