aac-tactics 0.2.pl2-3build2 source package in Ubuntu
Changelog
aac-tactics (0.2.pl2-3build2) precise; urgency=low * Rebuild for OCaml 3.12.1. -- Colin Watson <email address hidden> Sat, 19 Nov 2011 18:36:41 +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-3build2.debian.tar.gz | 2.6 KiB | d9a40394db7f61d01274ef10f3e2d510c8f8afa02089899528c819c2fa10a1b3 |
| aac-tactics_0.2.pl2-3build2.dsc | 2.2 KiB | 62876e788821632c6904d7af72331be257cdd28e9e5d3f52315aa35831786405 |
Available diffs
- diff from 0.2.pl2-3build1 to 0.2.pl2-3build2 (327 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.
