Package: libaac-tactics-ocaml Priority: optional Section: universe/ocaml Installed-Size: 582 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-5build2 Provides: libaac-tactics-ocaml-ibg92 Depends: libcoq-ocaml-d91z1, ocaml-base-nox-4.02.3, libc6 (>= 2.2.5) Recommends: libaac-tactics-coq Filename: pool/universe/a/aac-tactics/libaac-tactics-ocaml_0.4-5build2_amd64.deb Size: 119986 MD5sum: 9f6563661a7fc8daea53b5544a1c83b2 SHA1: 66ef45564e245dc59606d01131e15046353f12da SHA256: bb7df666a7d0d41ec42be713daedad2c5a8e37125b08a77dab45db689b45a7d4 Description: Coq tactics for reasoning modulo AC (plugin) Enhances: coq Homepage: http://www.lix.polytechnique.fr/coq/pylons/contribs/view/AACTactics/trunk Description-md5: d6af9954d3de40a51f6f9b94f6b858ba Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu