Package: libaac-tactics-ocaml-dev
Source: aac-tactics
Version: 0.4-2
Installed-Size: 446
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: ia64
Provides: libaac-tactics-ocaml-dev-y3xu2
Depends: camlp5-dq1s7, libaac-tactics-ocaml-y3xu2, libcoq-ocaml-dev-kcwd8, ocaml-nox-4.01.0
Description: Coq tactics for reasoning modulo AC (devt files)
Homepage: http://sardes.inrialpes.fr/~braibant/aac_tactics/
Description-md5: f1d42c78767b8301dd187f0cd302e0cf
Tag: devel::library, role::devel-lib
Section: ocaml
Priority: optional
Filename: pool/main/a/aac-tactics/libaac-tactics-ocaml-dev_0.4-2_ia64.deb
Size: 45326
MD5sum: ef135353a29bd0fc7df33ba65f38a0dc
SHA1: e07eb7cd42aaeaa8c36c9c30d3b7c3863d01d2c8
SHA256: fa8e67ba1266d63a65707729c41cc49c879ab4403fecf244c509599ebc32a7c8