eLxr packages

 / Paquets / Résultats de la recherche de paquets

Limiter à la suite : [aria] [bianca]

Limiter à l'architecture : [amd64] [arm64]

Vous avez recherché des paquets dont les noms contiennent libcoq-aac-tactics dans toutes les suites, toutes les sections, et toutes les architectures. 1 paquets correspondants trouvés.

Résultats exacts

Paquet libcoq-aac-tactics

• bianca (stable) (math): Coq tactics for reasoning modulo AC (theories)
  8.20.0-1+b4: amd64 arm64