aac-tactics 0.2.pl2-4build1 source package in Ubuntu
Changelog
aac-tactics (0.2.pl2-4build1) precise; urgency=low * Rebuild with new Coq. -- Andreas Moog <email address hidden> Sun, 08 Jan 2012 16:05:08 +0100
Upload details
- Uploaded by:
- Andreas Moog
- 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 | |
---|---|---|---|---|
Precise | release | universe | math |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
aac-tactics_0.2.pl2.orig.tar.gz | 75.6 KiB | 803b5e647ea801bdbe8a12dfaa1941160dd6d7dd33c238a1cc35fb0005611ed8 |
aac-tactics_0.2.pl2-4build1.debian.tar.gz | 2.7 KiB | 42d7213a6197d120a238552ef1c37ef4923e4a58dbbbca44761ea45d68de9f88 |
aac-tactics_0.2.pl2-4build1.dsc | 2.2 KiB | 92a2c039999f5fe4d506e5006b665d847f3ae63510c20b69ac6f64ccc211d18a |
Available diffs
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: No summary available for libaac-tactics-ocaml in ubuntu quantal.
No description available for libaac-
tactics- ocaml in ubuntu quantal.
- libaac-tactics-ocaml-dev: No summary available for libaac-tactics-ocaml-dev in ubuntu quantal.
No description available for libaac-
tactics- ocaml-dev in ubuntu quantal.