eLxr packages

 / Pacotes / Resultados da pesquisa de pacotes

Limitar à suíte: [aria] [bianca]

Limitar a uma arquitetura: [amd64] [arm64]

Você pesquisou por pacotes cujos nomes contêm libcoq-stdlib em todas as suítes , todas as seções e todas as arquiteturas. Encontrados 1 pacotes correspondentes.

Resultados exatos

Pacote libcoq-stdlib

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