Package: libaac-tactics-ocaml-dev Source: aac-tactics Version: 0.4-3 Installed-Size: 447 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Architecture: amd64 Provides: libaac-tactics-ocaml-dev-re315 Depends: camlp5-ejbq9, libaac-tactics-ocaml-re315, libcoq-ocaml-dev-arxq9, 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-3_amd64.deb Size: 45314 MD5sum: d67d6b2ab51b57b1cce6b93d42b7590f SHA1: 02deb4f06b2394de58ca9f40239b81c8a3f2c6ae SHA256: ba21ace738acf4842b28457fc79c77c16dcaf97ecec497c119564f52b35698f2