aac-tactics 0.4-2 source package in Ubuntu
Changelog
aac-tactics (0.4-2) unstable; urgency=medium * Recompile with coq 8.4pl3 * Bump Standards-Version to 3.9.5 (no changes) * Update Vcs-* -- Stéphane Glondu <email address hidden> Mon, 20 Jan 2014 08:22:59 +0100
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any all
- Section:
- math
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section | |
|---|---|---|---|---|
| Trusty | release | universe | math |
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| aac-tactics_0.4-2.dsc | 2.1 KiB | 5dcb8dd334283b7722313048244578bf6da042b21435d8b91dd2517dec36f6a7 |
| aac-tactics_0.4.orig.tar.gz | 75.5 KiB | 6f2d82ec83d7d4ae818ea10cf9865c0bb80ea1de8231eac065e6170dd2cc505e |
| aac-tactics_0.4-2.debian.tar.xz | 2.8 KiB | ca3821d829cb1e0650b6b37a74c2080dc387f823257d803355b362d52d523dbc |
Available diffs
- diff from 0.4-1build1 (in Ubuntu) to 0.4-2 (654 bytes)
No changes file available.
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: Coq tactics for reasoning modulo AC (plugin)
This Coq plugin provides tactics for rewriting universally quantified
equations, modulo associative (and possibly commutative) operators.
.
This package provides the plugin itself.
- libaac-tactics-ocaml-dev: Coq tactics for reasoning modulo AC (devt files)
This Coq plugin provides tactics for rewriting universally quantified
equations, modulo associative (and possibly commutative) operators.
.
This package provides the static native-code library, needed to build
custom toplevels, and the compiled interfaces.
