aac-tactics 8.19.0-1 source package in Ubuntu
Changelog
aac-tactics (8.19.0-1) unstable; urgency=medium * New upstream release. -- Julien Puydt <email address hidden> Sat, 24 Feb 2024 09:51:21 +0100
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- math
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
aac-tactics_8.19.0-1.dsc | 2.1 KiB | 1fe68ead613e3a656272b75238d773ffbfcd2d66437b9bd34a8da78749175766 |
aac-tactics_8.19.0.orig.tar.gz | 74.7 KiB | a727e256dce5c422af71532cdacf94d0979f6bab99b4b40f351972be0804fcb9 |
aac-tactics_8.19.0-1.debian.tar.xz | 3.6 KiB | adfcb866addda3b0aa03245b93dcb72d7b3453d7fb0e875ae68182bbc22944dd |
Available diffs
No changes file available.
Binary packages built by this source
- libcoq-aac-tactics: Coq tactics for reasoning modulo AC (theories)
This Coq plugin provides tactics for rewriting universally quantified
equations, modulo associative (and possibly commutative) operators.
.
This package provides the Coq support library.
- libcoq-aac-tactics-dbgsym: debug symbols for libcoq-aac-tactics