aac-tactics 0.4-1 source package in Ubuntu
Changelog
aac-tactics (0.4-1) unstable; urgency=low * New upstream release -- Stéphane Glondu <email address hidden> Thu, 05 Dec 2013 07:56:39 +0100
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any all
- Section:
- math
- Urgency:
- Low Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
aac-tactics_0.4-1.dsc | 2.1 KiB | 9e02fc2b2ded1e062a6bb88c80c1f34ad8cafc8ac6cbaf4474ad913859f7bf5a |
aac-tactics_0.4.orig.tar.gz | 75.5 KiB | 6f2d82ec83d7d4ae818ea10cf9865c0bb80ea1de8231eac065e6170dd2cc505e |
aac-tactics_0.4-1.debian.tar.gz | 3.0 KiB | 544ef31e2129ae6bdecf0f526526686df10b51272e9416d41bdba75994e27cbb |
Available diffs
- diff from 0.3.pl1-1 to 0.4-1 (5.1 KiB)
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.