-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

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-1
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.6), 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
 95acaf667a05ca834120155af2a6c6814b3a0fb0 3220 aac-tactics_8.6.1-1.debian.tar.xz
Checksums-Sha256:
 bb8ef2de84f57a37a6ba6c2deba87e548f258bbe7caf9126100cc4b95f80db47 75073 aac-tactics_8.6.1.orig.tar.gz
 976c78d85b53ae3c8d340096b09ff288af3c0fa6bf5b4b854999900ef4d083d4 3220 aac-tactics_8.6.1-1.debian.tar.xz
Files:
 2d5a77e26ae85f1fb6ab0e5034787d45 75073 aac-tactics_8.6.1.orig.tar.gz
 ebeee14e60a2937f6c8260d5285c3584 3220 aac-tactics_8.6.1-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJYZjAiAAoJECUFM8yim3ZPdREQAL3tRmn1CBCpsTnOo8mQCBTM
ku0x4lmpu7IuV6UajZhanVYFB8E1GMIORpUDnWq0n2I3KgN73M/s283ajQDV1fP+
TVot3hfHS2QDxz26Ug7zb3qg/vLQQXzrU/lB0qTWkeA3fJmAK8TGjw2IjSXiDV/k
AF0j0OfsE591MH1gVtOl81E9xMYnqHAwWFBg65MCgoxvXopn+IFkbqS3pY8PXLZ5
e4YeuPBKjm2DgTs37xwev7j0xkpzJt4/NDNlTx3/DzJRYrgG4TCnqbc7ijwx6mgo
oYDvHiqYYKK2ukHrejhwRXUacDgSHGbfje+NOIFOjqRdBXb6fTi0b6is5k1K5AK7
QweGc0JpvYqQny6zZ3pS+UYdI//EhPLbUh7igKyIVp7bfmYXxEGK6vIdHLwwl7jX
/otk9pvXRa/Dgp6dDhAawWku5jO5b8Zs78637x2pjnCr5KfY3EnqjuwmhjDK6eUo
yClnTyhb/j76FqJqaufB7Ihb9sqj9kLzNjbFEeblymMcw88/nfRxnMkaSafu0wNw
aaSjyK3wgSWauIG4leX4KpsmzVZdgLoouhdWQ8vTIv7YpF537UuBCcqC7gP1qTFQ
+/4eke12HNhy2mKRQ8ZQsav29jyhFOlQTffiFpE1aBkRMuw9dgkY7DhaDi6ShEb6
mVPlMLoMYP6feTphaLeD
=0bPN
-----END PGP SIGNATURE-----