aac-tactics 0.2.pl2-4 source package in Ubuntu
Changelog
aac-tactics (0.2.pl2-4) unstable; urgency=low * Rebuild with Coq 8.3pl3 (no source changes) -- Stéphane Glondu <email address hidden> Sun, 25 Dec 2011 16:54:20 +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.2.pl2-4.dsc | 2.2 KiB | 641fe76837c0dc5bef53fbd31a5711e9f13912ca46ae89e4c09eedfd9e9fc880 |
| aac-tactics_0.2.pl2.orig.tar.gz | 75.6 KiB | 803b5e647ea801bdbe8a12dfaa1941160dd6d7dd33c238a1cc35fb0005611ed8 |
| aac-tactics_0.2.pl2-4.debian.tar.gz | 2.6 KiB | 38201d65d68955af8c812ab330a71355fcf613950c69767252bb62a21ca025f3 |
Available diffs
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.
