aac-tactics 8.19.1-1build1 source package in Ubuntu
Changelog
aac-tactics (8.19.1-1build1) oracular; urgency=medium * Rebuild against new OCAML ABIs. -- Gianfranco Costamagna <email address hidden> Sat, 15 Jun 2024 16:33:18 +0200
Upload details
- Uploaded by:
- Gianfranco Costamagna
- 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-1build1.debian.tar.xz | 3.7 KiB | b1fbabb280fb574901be1bc06a67dfcaef754a832c57b21e416150a1a8c2caa7 |
| aac-tactics_8.19.1-1build1.dsc | 2.1 KiB | 736d8c1265594f09521a445e48c4a0bacb35b45b9f8d8e3a51840e3b99e140d4 |
Available diffs
- diff from 8.19.1-1 (in Debian) to 8.19.1-1build1 (329 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
