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-aac-tactics em todas as suítes , todas as seções e todas as arquiteturas. Encontrados 1 pacotes correspondentes.

Resultados exatos

Pacote libcoq-aac-tactics

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