Package: libaac-tactics-ocaml Priority: optional Section: universe/ocaml Installed-Size: 673 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Architecture: amd64 Source: aac-tactics Version: 0.4-2 Provides: libaac-tactics-ocaml-2blk4 Depends: libcoq-ocaml-g3g57, ocaml-base-nox-4.01.0, libc6 (>= 2.2.5) Recommends: libaac-tactics-coq Filename: pool/universe/a/aac-tactics/libaac-tactics-ocaml_0.4-2_amd64.deb Size: 128116 MD5sum: 233efd113140e20ac2dc3cac0250cc71 SHA1: 6201bb5f4ed2038e8ac270ca2d14ab86f3071931 SHA256: f531fffec3ec6d3c89826a57867f80be99df25d08a73bb8319c1a28ef74831fa Description: Coq tactics for reasoning modulo AC (plugin) Enhances: coq Homepage: http://sardes.inrialpes.fr/~braibant/aac_tactics/ Description-md5: d6af9954d3de40a51f6f9b94f6b858ba Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu