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: amd64 Source: aac-tactics Version: 0.4-5build2 Provides: libaac-tactics-ocaml-dev-ibg92 Depends: camlp5-tli55, libaac-tactics-ocaml-ibg92, libcoq-ocaml-dev-d91z1, ocaml-nox-4.02.3 Filename: pool/universe/a/aac-tactics/libaac-tactics-ocaml-dev_0.4-5build2_amd64.deb Size: 44036 MD5sum: 31417247b7e2ffe526c6e3216c2adab3 SHA1: 031bed33447ef82059b79647c19cac6c066151f2 SHA256: 5ba20eb9779107fab9b3734d6d795f83449f2c9c563891ded133c77f63d00f51 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