Package: libcoq-aac-tactics
Source: aac-tactics
Priority: optional
Section: universe/math
Installed-Size: 2871
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 8.20.0-1build8
Replaces: libaac-tactics-coq, libaac-tactics-ocaml, libaac-tactics-ocaml-dev
Provides: aac-tactics, libcoq-aac-tactics-zlng4
Depends: libcoq-stdlib-83lq0, libcoq-core-ocaml-dmxj4, libstdlib-ocaml-kjuo1, libzarith-ocaml-0x2c5
Breaks: libaac-tactics-coq
Filename: pool/universe/a/aac-tactics/libcoq-aac-tactics_8.20.0-1build8_amd64.deb
Size: 429554
MD5sum: b831ef4ef7bc0ec698f86f1650d19fce
SHA1: fb66df3b0f483115ace3ad3c4097a201b8270192
SHA256: 21fa3d4b55d082fe75e8afac7b87e018d42eae17fbe1c64294c1c917ddaed503
SHA512: d9e2ccdce38255541cf503a5d99ebc241fba0b5c2f9b349981375e739370c783cfcebef55fe4b58038405563344d929848c8a05dd344d0a6ae1ad0106abbea84
Homepage: https://github.com/coq-community/aac-tactics
Description: Coq tactics for reasoning modulo AC (theories)
Description-md5: d468e31e016a5d91fa8d79cdff35cd0d
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug