eLxr packagesSzukano pakietów których nazwy zawierają libcoq-aac-tactics w wszystkich gałęziach, wszystkich sekcjach i wszystkich architekturach. Liczba pasujących pakietów: 1.
Dokładne dopasowania
Pakiet libcoq-aac-tactics
- bianca (stable) (math):
Coq tactics for reasoning modulo AC (theories)
8.20.0-1+b4: amd64 arm64