aac-tactics 8.17.0-1 source package in Ubuntu
Changelog
aac-tactics (8.17.0-1) unstable; urgency=medium * Fix links in the doc base system. * Bump standards-version to 4.6.2. * New upstream release. -- Julien Puydt <email address hidden> Tue, 03 Jan 2023 14:33:38 +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.17.0-1.dsc | 2.1 KiB | d5c3f6bb9684b9512a9eba391ededbc56710841211fc7eb17fc01aa50f360e41 |
aac-tactics_8.17.0.orig.tar.gz | 73.9 KiB | 361a5e175d2da10c41bab8863c480af97cd687bed8bbe7df5c41909f30a8a61a |
aac-tactics_8.17.0-1.debian.tar.xz | 3.5 KiB | 7736a33176297dcfbb873636a4e994a3359f939a6a34639d9206a65248c90b8a |
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