Package: libaac-tactics-coq Source: aac-tactics Version: 8.6.1-1 Installed-Size: 1526 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Architecture: all Provides: aac-tactics Depends: libaac-tactics-ocaml (>= 8.6.1-1), coq-8.6+4.02.3 Description: Coq tactics for reasoning modulo AC (theories) Homepage: https://github.com/coq-contribs/aac-tactics Description-md5: d468e31e016a5d91fa8d79cdff35cd0d Tag: role::shared-lib Section: math Priority: optional Filename: pool/main/a/aac-tactics/libaac-tactics-coq_8.6.1-1_all.deb Size: 222342 MD5sum: 77c0b43dc2a94525228011e272383524 SHA256: d70a733fff0dac10778426dab1ae2aaee14e28b7d52b7b3542a5192842e33c65