Package: libaac-tactics-ocaml
Priority: optional
Section: universe/ocaml
Installed-Size: 574
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-2
Provides: libaac-tactics-ocaml-7ipa6
Depends: libcoq-ocaml-ajad9, ocaml-base-nox-4.01.0, libc6 (>= 2.1.3)
Recommends: libaac-tactics-coq
Filename: pool/universe/a/aac-tactics/libaac-tactics-ocaml_0.4-2_i386.deb
Size: 116964
MD5sum: 2f0aea062a9489fc4ad42cd674cf326b
SHA1: fce875d248f3697fa9754a8e844ad7b16bc93041
SHA256: 5ee4c6080a299ba580918adb7388e1bf8559356016d392b28ba27d96d0e6c6ce
Description: Coq tactics for reasoning modulo AC (plugin)
Enhances: coq
Homepage: http://sardes.inrialpes.fr/~braibant/aac_tactics/
Description-md5: d6af9954d3de40a51f6f9b94f6b858ba
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu