Package: libaac-tactics-coq Priority: optional Section: universe/math Installed-Size: 2444 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Architecture: all Source: aac-tactics Version: 0.2.pl2-4build1 Provides: aac-tactics Depends: libaac-tactics-ocaml (>= 0.2.pl2-4build1), coq-8.3pl3+3.12.1 Filename: pool/universe/a/aac-tactics/libaac-tactics-coq_0.2.pl2-4build1_all.deb Size: 315944 MD5sum: 8599b8c5ae100b5f209fbbe248b9f7d9 SHA1: 173dce03e488a3765f3af519b1f8288f16fefdab SHA256: a480abd302f96e407659d94a54c33aecd6508715c44356858b2e6949afea8237 Description: Coq tactics for reasoning modulo AC (theories) Homepage: http://sardes.inrialpes.fr/~braibant/aac_tactics/ Description-md5: d468e31e016a5d91fa8d79cdff35cd0d Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu