aac-tactics 8.19.1-2build3 source package in Ubuntu
Changelog
aac-tactics (8.19.1-2build3) oracular; urgency=medium * No-change rebuild for OCaml ABIs. -- Matthias Klose <email address hidden> Sat, 07 Sep 2024 16:34:57 +0200
Upload details
- Uploaded by:
- Matthias Klose
- Uploaded to:
- Oracular
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- math
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section | |
|---|---|---|---|---|
| Oracular | release | universe | math |
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| aac-tactics_8.19.1.orig.tar.gz | 75.2 KiB | 1dfe079ed88829074157befc3b59bcb373e93db1aedea720928ea0ec7c0941e4 |
| aac-tactics_8.19.1-2build3.debian.tar.xz | 3.8 KiB | 73b3c94d03d0f5f0c4b2c2fc518c2562348a54dc281dde8e838c0bf760afe0b6 |
| aac-tactics_8.19.1-2build3.dsc | 2.1 KiB | 5b0dfe03c119d2d2c06080947a7e2e61d94b0168a37516d0b78bf8a0e60e5328 |
Available diffs
- diff from 8.19.1-2 (in Debian) to 8.19.1-2build3 (417 bytes)
- diff from 8.19.1-2build2 to 8.19.1-2build3 (306 bytes)
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
