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

Format: 3.0 (quilt)
Source: aac-tactics
Binary: libcoq-aac-tactics
Architecture: any
Version: 8.20.0-1build3
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Stéphane Glondu <glondu@debian.org>, Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/coq-community/aac-tactics
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/aac-tactics
Vcs-Git: https://salsa.debian.org/ocaml-team/aac-tactics.git
Build-Depends: coq (>= 8.17), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib, ocaml
Package-List:
 libcoq-aac-tactics deb math optional arch=any
Checksums-Sha1:
 35492da077bec505b8b5e6f611776de23130ef45 77668 aac-tactics_8.20.0.orig.tar.gz
 5f7da8c5b15c6e096549bea2aeb756a47cf95652 3944 aac-tactics_8.20.0-1build3.debian.tar.xz
Checksums-Sha256:
 91c14a2154e2205e934cf4636725b735474aeb824ae3ad5cfb3e19a0b2b0f67d 77668 aac-tactics_8.20.0.orig.tar.gz
 71c2b745b8ff03fb1d8336ce5408ebfcf7a6a35f6e6431ce92e832a712b2c0bf 3944 aac-tactics_8.20.0-1build3.debian.tar.xz
Files:
 ed2f78c3986c5c92964e218d5a02cded 77668 aac-tactics_8.20.0.orig.tar.gz
 937288ad72f21cdcf4046902ad16fe91 3944 aac-tactics_8.20.0-1build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAme057UACgkQLIPbyOm9
DjcagRAAhlLQawm/JSFjYKxF2Avjhks7mGS8Wu1uTe7ykZTtLt8K9SvtEN0cWRsG
WQ4/6HfgohkV6pW9vNhZkioNtBAuwxWoC5UQCY378C8+r5SvkSI2rqsCUXyICjQY
sWG9qn0KMM3Y3ZxQNxCaLF3QCXrg59XuTWx/HOiMOKMOO4NK8rG208anvv0cepxr
rryOo8bHXFtogq5CHw5iFNrnc2gRv69iQtab3Inqa0nhJ+jKgwE6QjgizpZOoV8A
mKUF1gSxALn5ZiSTejO6NCUuhm62+s3vGsHZqCTUb4lHA3pbilonZzNO/X/mckKh
68tvd1fZr9/I38FL3yDkb284SXARIwcrPQJP70BpLKAXbbcQzZoEZzD437usIYKW
FfUt5jzuEB7hFBDjGvAimwmA35TdlbCAb+/MW8kOB3yJ8GE88h+8KZxGpXhvBmy7
qnOgDL1dBFksfpd9p/0V7nmBE7zBTcux20FyKWuozVh7AL7aqLmzfxBwFLqH4Cpj
/6VwN9/bY4KtcA00TxBGi+JESVRIgG7VCynqGetFcZgrgTyxeSY7GUqKWEv3kP6Q
VK8GSBNmTrEpMz07CEjuulQkzCpmwHDtJO17hXADjgE1U/l4oxVchVeSsHKEM1ys
kMmgntMMsILIQ+oYyGYd1Oo5eIEJgq6JCcDlTHpRlcYmDqC1DCg=
=ynD6
-----END PGP SIGNATURE-----