Package: libaac-tactics-ocaml-dev
Priority: optional
Section: universe/ocaml
Installed-Size: 446
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-dev-7ipa6
Depends: camlp5-2by42, libaac-tactics-ocaml-7ipa6, libcoq-ocaml-dev-ajad9, ocaml-nox-4.01.0
Filename: pool/universe/a/aac-tactics/libaac-tactics-ocaml-dev_0.4-2_i386.deb
Size: 44374
MD5sum: 5b33f1401914adbbadfdd9365e443bdd
SHA1: e5502390376f22cf4f47ef4b2df263703db04996
SHA256: 5f092fc88d26f2f2469b4ffb4e22339f8ad20324b4a623c8381f21423b789fa9
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