Package: libaac-tactics-ocaml-dev Priority: optional Section: universe/ocaml Installed-Size: 642 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.2.pl2-4build1 Provides: libaac-tactics-ocaml-dev-ulz51 Depends: camlp5-j6472, libaac-tactics-ocaml-ulz51, libcoq-ocaml-dev-4zyg6, ocaml-nox-3.12.1 Filename: pool/universe/a/aac-tactics/libaac-tactics-ocaml-dev_0.2.pl2-4build1_amd64.deb Size: 136018 MD5sum: 17f3411119ddcdc579620ef72d4e3474 SHA1: df6444bee5cf3773d0d389edf405220989ed3bed SHA256: 059d535fdcad16cc240c4cd156ae5fad241e83afd6410739c2a0292e65cfdd32 Description: Coq tactics for reasoning modulo AC (devt files) Homepage: http://sardes.inrialpes.fr/~braibant/aac_tactics/ Description-md5: f1d42c78767b8301dd187f0cd302e0cf Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu