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