Package: libaac-tactics-ocaml
Priority: optional
Section: universe/ocaml
Installed-Size: 517
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: i386
Source: aac-tactics
Version: 0.4-5build2
Provides: libaac-tactics-ocaml-7bfb7
Depends: libcoq-ocaml-68030, ocaml-base-nox-4.02.3, libc6 (>= 2.1.3)
Recommends: libaac-tactics-coq
Filename: pool/universe/a/aac-tactics/libaac-tactics-ocaml_0.4-5build2_i386.deb
Size: 111950
MD5sum: 5dcc6c8da56db15f05c1383fa1eaa4f9
SHA1: 9186133f48454b040866a37d6e84666b7f323d6b
SHA256: 9f8f60a0f4c2d8e1d7c131b9be41014cc19ca63daa9e0431cee9df30d5c43bec
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