Package libcoq-aac-tactics
bookworm (Debian 12 (Bookworm)) (math): Coq tactics for reasoning modulo AC (theories)
8.17.0-1+b2: amd64 arm64
Upstream software project
aac-tactics
Coq tactics for reasoning modulo AC (theories)
About aac-tactics
Coq tactics for reasoning modulo AC (theories)
This project links 2 native package records across 2 recorded operating-system releases. Compare the retained versions and architectures below, then open the package for your own release.
These are catalog observations, not a guarantee of installation, compatibility, or upstream support.
Project pictures and package coverage
Project identity
- Project
- aac-tactics
- Publisher
- Not authoritatively mapped
- Native package records
- 2
- Operating systems
- debian-12, debian-13
- License expression
- Not reported
- Metadata completeness
- 95/100 (not a software quality rating)
- Homepage
- Visit upstream site
- Source repository
- Open source repository
Source-reported description
The fullest retained description is shown with its source. Distribution packaging descriptions may include downstream details.
Coq tactics for reasoning modulo AC (theories)
Packages by operating system
Compare recorded versions, then open a package for dependency, file, checksum, and repository evidence. Version strings are distribution-specific, not a ranking of newer software.
Debian 12 (Bookworm)
Source: aac-tactics
Debian 13 (Trixie)
Package libcoq-aac-tactics
trixie (Debian 13 (Trixie)) (math): Coq tactics for reasoning modulo AC (theories)
8.20.0-1+b4: amd64 arm64
Source: aac-tactics
Project resources and further reading
Mapping provenance
Only source-backed identity signals create public cross-OS links. A reviewer can later approve or dispute an inferred relationship without rewriting native package history.
No field-level source record is published yet.