Ihre Suche nach Paketen, deren Name libcoq-aac-tactics enthält, in allen Suites, allen Bereichen, und auf allen Architekturen:
1 Treffer.
Genaue Treffer
Paket libcoq-aac-tactics
- noble (24.04LTS) (math):
Coq tactics for reasoning modulo AC (theories) [universe]
8.18.0-1build3: amd64 arm64 armhf ppc64el riscv64 s390x
- questing (25.10) (math):
Coq tactics for reasoning modulo AC (theories) [universe]
8.20.0-1build4: amd64 arm64 ppc64el riscv64 s390x
- resolute (26.04LTS) (math):
Coq tactics for reasoning modulo AC (theories) [universe]
8.20.0-1build8: amd64 arm64 ppc64el riscv64 s390x
- stonking (math):
Coq tactics for reasoning modulo AC (theories) [universe]
8.20.0-1build8: amd64 arm64 ppc64el riscv64 s390x
packages