Package: libaac-tactics-coq
Architecture: all
Version: 8.6.1-2
Priority: optional
Section: universe/math
Source: aac-tactics
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1525
Provides: aac-tactics
Depends: libaac-tactics-ocaml (>= 8.6.1-2), coq-8.6+4.05.0
Filename: pool/universe/a/aac-tactics/libaac-tactics-coq_8.6.1-2_all.deb
Size: 220796
MD5sum: aa645659bbd51cab0bd83f4adec1b9ca
SHA1: bc2d352a3fea69dd37b41b015e4a5fea9662a4f0
SHA256: 468594038af0621b45a4c47f6e5f009c445c5663193192af3d36444d2afbd3d1
Homepage: https://github.com/coq-contribs/aac-tactics
Description: Coq tactics for reasoning modulo AC (theories)
Description-md5: d468e31e016a5d91fa8d79cdff35cd0d