(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 [email protected] 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. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
