deb_control_files:
- control
- md5sums
deb_fields:
Architecture: arm64
Breaks: libaac-tactics-coq
Depends: libcoq-stdlib-z3q11, libcoq-core-ocaml-sa2u3, libstdlib-ocaml-0d647, libzarith-ocaml-mtsj7
Description: |-
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.
Homepage: https://github.com/coq-community/aac-tactics
Installed-Size: '3099'
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Package: libcoq-aac-tactics
Priority: optional
Provides: aac-tactics, libcoq-aac-tactics-dhiv8
Replaces: libaac-tactics-coq, libaac-tactics-ocaml, libaac-tactics-ocaml-dev
Section: math
Source: aac-tactics
Version: 8.20.0-1
srcpkg_name: aac-tactics
srcpkg_version: 8.20.0-1