aac-tactics 0.2.pl2-2build1 source package in Ubuntu
Changelog
aac-tactics (0.2.pl2-2build1) oneiric; urgency=low * Rebuild to pick up ocaml fixes on armel. -- Adam Conrad <email address hidden> Wed, 24 Aug 2011 16:40:51 -0600
Upload details
- Uploaded by:
- Adam Conrad
- Uploaded to:
- Oneiric
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- 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-2build1.debian.tar.gz | 2.5 KiB | 3a5b4e858dcc2b0f450760276ea3971a21a6bea7034f554ab0a82c8cf7995e8e |
aac-tactics_0.2.pl2-2build1.dsc | 1.4 KiB | e17b4423b72402dd97c3913fa002f1d2e2cfe7ec27b4ea45e98095385e7f813c |
Available diffs
- diff from 0.2.pl2-2 to 0.2.pl2-2build1 (331 bytes)
Binary packages built by this source
- libaac-tactics-coq: No summary available for libaac-tactics-coq in ubuntu oneiric.
No description available for libaac-tactics-coq in ubuntu oneiric.
- 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: No summary available for libaac-tactics-ocaml-dev in ubuntu oneiric.
No description available for libaac-
tactics- ocaml-dev in ubuntu oneiric.