aac-tactics 8.19.1-2 source package in Ubuntu
Changelog
aac-tactics (8.19.1-2) unstable; urgency=medium * Do not hardcode /usr/lib/ocaml -- Stéphane Glondu <email address hidden> Sat, 03 Aug 2024 17:29:07 +0200
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.1-2.dsc | 1.8 KiB | edc46611e8a1b9e03deecb480c24e02aca4c5173f8eeb37c83300f652b8e2ad8 |
| aac-tactics_8.19.1.orig.tar.gz | 75.2 KiB | 1dfe079ed88829074157befc3b59bcb373e93db1aedea720928ea0ec7c0941e4 |
| aac-tactics_8.19.1-2.debian.tar.xz | 3.7 KiB | c1eb9d9b869430ef47376b08d2b33103b167dee243635da90cbb9d4aa08982f4 |
Available diffs
- diff from 8.19.1-1build1 (in Ubuntu) to 8.19.1-2 (608 bytes)
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
