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

Format: 3.0 (quilt)
Source: aac-tactics
Binary: libcoq-aac-tactics
Architecture: any
Version: 8.20.0-1build4
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
 6eaf22a94de406d6396f6746be15a604dc708302 3968 aac-tactics_8.20.0-1build4.debian.tar.xz
Checksums-Sha256:
 91c14a2154e2205e934cf4636725b735474aeb824ae3ad5cfb3e19a0b2b0f67d 77668 aac-tactics_8.20.0.orig.tar.gz
 26d68a65684e7cca9c11c1117128293e14f34c59499239ca4581ab2fc868d9f9 3968 aac-tactics_8.20.0-1build4.debian.tar.xz
Files:
 ed2f78c3986c5c92964e218d5a02cded 77668 aac-tactics_8.20.0.orig.tar.gz
 df14d844869ff1ddca9e8e682f42310c 3968 aac-tactics_8.20.0-1build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmhUO+EACgkQ808JdE6f
Xdk9Zg/+LqNC7hQ4AdyTbNJH3zXDRfDizvuV7nVl4lvEFVdCuyReXpGItwfCU2lq
m1DfeSHCe6OOlBm9C9FL89aEBxCOARDpCYXQG6PvHlBIJMjV17o2Jm4D6UFzY2kq
X4JNAGsPg+qMJ4X3VwnHHXbh1fyqt4X3icCwboqQcZDUoNZ0q34srvR+vXSVG7Jh
tYm2gL4DX1Bty5nXHalKqsBXkDIbwPfo+b8x0v3eVqW0QSEGbbpcNJYCQXr+3YPz
VdF4kJtF609T+46YQCdkBLPk4N2hYCZNG3C3H0YjcmTCf62rhDwJWzUBZgvTqr1D
TbQPgPkZzK2Zafc5XOAn9r+1FFydlqYGDdHPYVVFuXsaANVdS25PU7ZY4l42qCyt
YuyzVUTkVdtg35yOhL+g+zpP05UDOAu1OUlEBHAkAiw5pKlvQAMdcMyaq0xsme6o
b5UD/qScDEfZxZu1RtLRSavtbXJcPsyrT8uRSMHg7JZGS7O6y+Doa5BNyNENYcpK
FNUXhbBW1+mDg+nz+uvakrswCNhipvpnhYhO1ivX2n7189RmebRgEHB0YKx9SGU4
zTvAwdd4hsf+aiYWvIRyve9CGVdeRY6hUABMgm3YPIQvXHfRQKLcUnfx6V0iiEeO
j5tbLAp4QoI/Nvy0Xkdn7mt/vPr6ho7tidvy9009eHOJxYi1X3w=
=SB77
-----END PGP SIGNATURE-----