Package: libcoq-aac-tactics
Source: aac-tactics
Version: 9.0.0-4build2
Architecture: arm64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 2588
Depends: libcoq-stdlib-k4vc6, libcoq-core-ocaml-ouss7, libstdlib-ocaml-1ltp0, libzarith-ocaml-igxp5
Breaks: libaac-tactics-coq
Replaces: libaac-tactics-coq, libaac-tactics-ocaml, libaac-tactics-ocaml-dev
Provides: libcoq-aac-tactics-buji4
Section: math
Priority: optional
Homepage: https://github.com/coq-community/aac-tactics
Description: Rocq tactics for reasoning modulo AC (theories)
 This Rocq plugin provides tactics for rewriting universally quantified
 equations, modulo associative (and possibly commutative) operators.
 .
 This package provides the Rocq support library.
