aac-tactics 8.20.0-1 source package in Ubuntu
Changelog
aac-tactics (8.20.0-1) unstable; urgency=medium * New upstream release. -- Julien Puydt <email address hidden> Wed, 20 Nov 2024 10:41:23 +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 | |
|---|---|---|---|---|
| Plucky | release | universe | math |
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| aac-tactics_8.20.0-1.dsc | 2.1 KiB | 3fdd765af0d7d31d61e54c8e2537b290c6ae6db1cc6bbfc3a6259e5f4d1e0568 |
| aac-tactics_8.20.0.orig.tar.gz | 75.8 KiB | 91c14a2154e2205e934cf4636725b735474aeb824ae3ad5cfb3e19a0b2b0f67d |
| aac-tactics_8.20.0-1.debian.tar.xz | 3.7 KiB | ffc435adb107302b9f3bac8483529e1cc25df78810f350ca5a6c6055882d7457 |
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
