-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: aac-tactics
Binary: libaac-tactics-ocaml, libaac-tactics-ocaml-dev, libaac-tactics-coq
Architecture: any all
Version: 8.6.1-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Stéphane Glondu <glondu@debian.org>
Homepage: https://github.com/coq-contribs/aac-tactics
Standards-Version: 3.9.8
Vcs-Browser: https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/aac-tactics.git
Vcs-Git: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/aac-tactics.git
Build-Depends: debhelper (>= 9), dh-ocaml (>= 0.9~), ocaml-nox (>= 3.11.1-3~), coq (>= 8.4dfsg-2~), libcoq-ocaml-dev
Package-List:
 libaac-tactics-coq deb math optional arch=all
 libaac-tactics-ocaml deb ocaml optional arch=any
 libaac-tactics-ocaml-dev deb ocaml optional arch=any
Checksums-Sha1:
 bf4e35a8569a929c75f86f45b9637206f01ac8de 75073 aac-tactics_8.6.1.orig.tar.gz
 ac6c3d14123d9c118090c189cc18825ba909357d 3248 aac-tactics_8.6.1-2.debian.tar.xz
Checksums-Sha256:
 bb8ef2de84f57a37a6ba6c2deba87e548f258bbe7caf9126100cc4b95f80db47 75073 aac-tactics_8.6.1.orig.tar.gz
 d898bd9952edb152cca1f148991f6dcce87136d40e4a5f04beda396ac5b1b16b 3248 aac-tactics_8.6.1-2.debian.tar.xz
Files:
 2d5a77e26ae85f1fb6ab0e5034787d45 75073 aac-tactics_8.6.1.orig.tar.gz
 7d97e66a012fb1b1ae9297fe1d835f3d 3248 aac-tactics_8.6.1-2.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQIyBAEBCgAdFiEEWOsJmcZOiX7olLgDeFPaTUmIGtMFAlnbNaUACgkQeFPaTUmI
GtOg8Q/2M/UjxHsQ1OyrHzOvJLb/OVdKwZsMqYhBriZQjPAdzm5JEQzEYXH1XbmS
JnO/6jYC57Pb/tBe1AhDDU08ajMMd+YqBbVcU+aFSsAtGggQaSg/7A/v1rC4LN7+
jXBlsitj1vW3h1zTuyOYRWmSPwHzALZROZ089jB4WMrLsZfz84lcF8iJ6h3IoAG9
tOJ1f7oV5hSsW/ggJwyTA5Bc6MDX3C/K6Hu0memiHAapYLDIJDSZ2uIabwRo42Wx
CurcPkd3/TTX//xitB0a7/co1bageZC6bSGMaGIM8/yeoYDG3pfy5E1c8KsMlRqR
OSczhcs2YPEgRv9QtAppsJqVMkh1vkW2YmojpIqLJ7ZHkKr2S6KIi5vavQXSF5WO
3nKl41+hl3f6qCdnf1+PVhpVYbt+ILoegzn4kDojcc12m4E9r+KEf61H66YTb4BA
6iibO959tA09/qiPdVJP0+JjVCfEZWIBQTETD06buLt7vGjafmhN8ciiYAFsgzI2
fM5Ho8Jn1VRcoemJO5lGDRXdMujZOWtLjsak1t4qp6JC1j5GMgUl2X0IWnFc3I4m
bZqajaF2aGWo0gOBKMnA/VFl43K+t7VLbDECLdfQEODphD1d2O7wshWwgnetWYyx
MkZKagIYsBZo33vwuCSykhf3YR5rBVKG6i/nn9idEAgcgQfz9A==
=TsKM
-----END PGP SIGNATURE-----