aac-tactics 0.2.pl2-3build1 source package in Ubuntu
Changelog
aac-tactics (0.2.pl2-3build1) precise; urgency=low * Rebuild for new OCaml library ABIs. -- Colin Watson <email address hidden> Sat, 12 Nov 2011 00:07:21 +0000
Upload details
- Uploaded by:
- Colin Watson
- Uploaded to:
- Precise
- 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.2.pl2.orig.tar.gz | 75.6 KiB | 803b5e647ea801bdbe8a12dfaa1941160dd6d7dd33c238a1cc35fb0005611ed8 |
aac-tactics_0.2.pl2-3build1.debian.tar.gz | 2.6 KiB | f2c247901405b2ff75e9437691f0dcc029bd7c3192203cb0d017a903ce7c5791 |
aac-tactics_0.2.pl2-3build1.dsc | 2.2 KiB | 1f0eca27c547ce6b1499433ca637fc55ddfe7add821128d19a386c1ecdd96ba8 |
Available diffs
- diff from 0.2.pl2-3 to 0.2.pl2-3build1 (343 bytes)
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.