aac-tactics 8.6.1-1build4 source package in Ubuntu
Changelog
aac-tactics (8.6.1-1build4) artful; urgency=high * No change rebuild against new ocaml abis. -- Dimitri John Ledkov <email address hidden> Thu, 31 Aug 2017 02:11:24 +0100
Upload details
- Uploaded by:
- Dimitri John Ledkov
- Uploaded to:
- Artful
- Original maintainer:
- Ubuntu Developers
- Architectures:
- any all
- Section:
- math
- Urgency:
- Very Urgent
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
aac-tactics_8.6.1.orig.tar.gz | 73.3 KiB | bb8ef2de84f57a37a6ba6c2deba87e548f258bbe7caf9126100cc4b95f80db47 |
aac-tactics_8.6.1-1build4.debian.tar.xz | 3.4 KiB | 6f6f5711012e5f99a457f037665ec806e92d4cfd1276d8365d6bb09b4ebbf630 |
aac-tactics_8.6.1-1build4.dsc | 1.9 KiB | a09fee899f7f5aac6d8b80674e91df0ceef878b7660248c27e03a45ab2180ad1 |
Available diffs
Binary packages built by this source
- libaac-tactics-coq: 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.
- libaac-tactics-ocaml: No summary available for libaac-tactics-ocaml in ubuntu artful.
No description available for libaac-
tactics- ocaml in ubuntu artful.
- libaac-tactics-ocaml-dbgsym: No summary available for libaac-tactics-ocaml-dbgsym in ubuntu artful.
No description available for libaac-
tactics- ocaml-dbgsym in ubuntu artful.
- libaac-tactics-ocaml-dev: No summary available for libaac-tactics-ocaml-dev in ubuntu artful.
No description available for libaac-
tactics- ocaml-dev in ubuntu artful.