[ etiona ]
Paquet virtuel : libaac-tactics-ocaml-dev-hv7z9
Ceci est un paquet virtuel. Consultez la charte Debian pour une définition des paquets virtuels.
Paquets fournissant libaac-tactics-ocaml-dev-hv7z9
- libaac-tactics-ocaml-dev
- Coq tactics for reasoning modulo AC (devt files)