aac-tactics_0.1-r13244-1_amd64.changes is NEW
(new) aac-tactics_0.1-r13244-1.debian.tar.gz optional math
(new) aac-tactics_0.1-r13244-1.dsc optional math
(new) aac-tactics_0.1-r13244.orig.tar.gz optional math
(new) libaac-tactics-coq_0.1-r13244-1_all.deb optional math
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.
(new) libaac-tactics-ocaml-dev_0.1-r13244-1_amd64.deb optional ocaml
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.
(new) libaac-tactics-ocaml_0.1-r13244-1_amd64.deb optional 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.
Changes: aac-tactics (0.1-r13244-1) experimental; urgency=low
.
* Initial release (Closes: #605487)
Override entries for your package:
Announcing to debian-devel-changes@lists.debian.org
Closing bugs: 605487
Your package contains new components which requires manual editing of
the override file. It is ok otherwise, so please be patient. New
packages are usually added to the override file about once a week.
You may have gotten the distribution wrong. You'll get warnings above
if files already exist in other distributions.
Reply to: