Package: libcoq-aac-tactics
Architecture: amd64
Version: 8.19.1-2build3
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: 2982
Provides: aac-tactics, libcoq-aac-tactics-kljr0
Depends: libcoq-stdlib-dksn3, libcoq-core-ocaml-zhvt1, libstdlib-ocaml-u9ol3, libzarith-ocaml-mtsj7
Breaks: libaac-tactics-coq
Replaces: libaac-tactics-coq, libaac-tactics-ocaml, libaac-tactics-ocaml-dev
Filename: pool/universe/a/aac-tactics/libcoq-aac-tactics_8.19.1-2build3_amd64.deb
Size: 440136
MD5sum: f4e722672cc782e58b6ccbabb25f7667
SHA1: c9b1f83109d1a5b2c8dc054ddf1fb270f3130c36
SHA256: 65171c5f1f9b89134a289cf58260e7243fb53b57948f5d1327bb9d940fb4794d
SHA512: 0f0d0f9f6c7c7083cd14035501d9f827f414f44d42470b983a246917e12bc208d9193d95ea93769880016f053c12442494cb0dd568536b409b7e43bb21fa242d
Homepage: https://github.com/coq-community/aac-tactics
Description: Coq tactics for reasoning modulo AC (theories)
Description-md5: d468e31e016a5d91fa8d79cdff35cd0d