eLxr packages

 / Balíky / Výsledky hľadania balíkov

Obmedziť balík: [aria] [bianca]

Obmedziť na architektúru: [amd64] [arm64]

Hľadali ste balíky ktorých názvy obsahujú libcoq-stdlib v všetky sady, všetky sekcie a všetky architektúry. Našlo sa 1 zodpovedajúcich balíkov.

Presné výsledky

Balík libcoq-stdlib

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