Package: libaac-tactics-ocaml-dev
Architecture: i386
Version: 8.6.1-2
Priority: optional
Section: universe/ocaml
Source: aac-tactics
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 413
Provides: libaac-tactics-ocaml-dev-hv7z9
Depends: camlp5-bskq5, libaac-tactics-ocaml-hv7z9, libcoq-ocaml-dev-6pjp3, ocaml-nox-4.05.0
Filename: pool/universe/a/aac-tactics/libaac-tactics-ocaml-dev_8.6.1-2_i386.deb
Size: 37688
MD5sum: 2d162fb09bdb20a282c56484831848cf
SHA1: 342e7d17185cd5e2cbc1318edac538ce7afed76d
SHA256: 4a42e4a25376988b7ce0e8b88429fd0ea73f401107dcfeb5190554c822f7afe0
Homepage: https://github.com/coq-contribs/aac-tactics
Description: Coq tactics for reasoning modulo AC (devt files)
Description-md5: f1d42c78767b8301dd187f0cd302e0cf