Limit to suite: [aria] [bianca]

Limit to a architecture: [amd64] [arm64]

Du har sökt efter paket vars namn innehåller libcoq-aac-tactics i alla sviter, alla sektioner och alla arkitekturer. Hittade 1 paket.

Exakta träffar

Paketet libcoq-aac-tactics

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