Package: libaac-tactics-coq
Priority: optional
Section: universe/math
Installed-Size: 1412
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.4-2
Provides: aac-tactics
Depends: libaac-tactics-ocaml (>= 0.4-2), coq-8.4pl3+4.01.0
Filename: pool/universe/a/aac-tactics/libaac-tactics-coq_0.4-2_all.deb
Size: 212528
MD5sum: a0da79f637c5c75e5d86f3171f1fb4cd
SHA1: 77f96654cc69786d2ffc50af0488fe541689913e
SHA256: bd13b6654c24d872cc34dbcc6368de5af248a1ab89f34e8e8903b491f75fe073
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