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