Package: libaac-tactics-ocaml-dev Source: aac-tactics Version: 8.6.1-1 Installed-Size: 412 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Architecture: amd64 Provides: libaac-tactics-ocaml-dev-tfsn1 Depends: camlp5-ixut4, libaac-tactics-ocaml-tfsn1, libcoq-ocaml-dev-w60p8, ocaml-nox-4.02.3 Description: Coq tactics for reasoning modulo AC (devt files) Homepage: https://github.com/coq-contribs/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_8.6.1-1_amd64.deb Size: 38972 MD5sum: 2bff076ca1e90639b4375cc9dcf67a1d SHA256: 378043ba0a68db9254471da630c55b85381c02dd4e88567a7100842a7d8c3f7f