Package: libaac-tactics-ocaml-dev
Priority: optional
Section: universe/ocaml
Installed-Size: 436
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-dev-7bfb7
Depends: camlp5-4bgd8, libaac-tactics-ocaml-7bfb7, libcoq-ocaml-dev-68030, ocaml-nox-4.02.3
Filename: pool/universe/a/aac-tactics/libaac-tactics-ocaml-dev_0.4-5build2_i386.deb
Size: 44028
MD5sum: f08c6d6b2cc95c156b2f329d0d63e0c5
SHA1: d745fcfca2dfbe7b1b61527194a18f535be4d680
SHA256: 01fa7385905b8d4f690b8627475fe15ce6213e7dc424fc3bbb4fa3b08b2e1357
Description: Coq tactics for reasoning modulo AC (devt files)
Homepage: http://www.lix.polytechnique.fr/coq/pylons/contribs/view/AACTactics/trunk
Description-md5: f1d42c78767b8301dd187f0cd302e0cf
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu