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-stdlib dans toutes les suites, toutes les sections, et toutes les architectures. 1 paquets correspondants trouvés.

Résultats exacts

Paquet libcoq-stdlib

• bianca (stable) (math): proof assistant for higher-order logic (theories)
  8.20.1+dfsg-1+b1: amd64 arm64