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

Format: 3.0 (quilt)
Source: aac-tactics
Binary: libcoq-aac-tactics
Architecture: any
Version: 8.20.0-1build8
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
 27906d2515316c68f113ebc1956c414aebf35471 4080 aac-tactics_8.20.0-1build8.debian.tar.xz
Checksums-Sha256:
 91c14a2154e2205e934cf4636725b735474aeb824ae3ad5cfb3e19a0b2b0f67d 77668 aac-tactics_8.20.0.orig.tar.gz
 d6bfc11eb0b29ab468d269c3b559461760c5ad9956a3a43d5e6fb0b09305e2d4 4080 aac-tactics_8.20.0-1build8.debian.tar.xz
Files:
 ed2f78c3986c5c92964e218d5a02cded 77668 aac-tactics_8.20.0.orig.tar.gz
 c0e2ddb3ab5aaaa7f4f064bab53d5eba 4080 aac-tactics_8.20.0-1build8.debian.tar.xz

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmmn144ACgkQWWH9vpxh
mAkIFA//bFrSS0f5ofXvvBeNJEUBG8yCh1MB12Prx/NLO9R7KTUMx4YlZKg5Y7wI
H7jxR8NhMCe2dMmS7yL8Q2suRLsfQLvVVVr4YUsMtmC0mo6SBBI+JOsXADI3HINt
iBxXTTsE3HuSXzCD84et0eV4iDcZE+80vvNZLHilBjFU0CBEQB1gWNOxgzoUib9x
42J+mDb/qF6tAbtA634gENNsu+WsR3BwVDfXFT0xQXvbN15x3rxLfrKdyqROngev
jLLWKSUksoTyln7nNsg1ASOzOzuwWqE6GqDYZXBWa2/nFnua665pEPWmlDhJV+BG
2HwqInUWm/LwWA6WG/hOPqfJTcRLDxPYKmmYRQadkxmIJlThj4s7QOd+aaP/q7TP
qcbefOks3mDLoh/vzVvLoruLb8YXdyRBWaNzXAdpDNXYCCmUXIf9cpzahpuIdMTX
L1IHOEiBjfzF5y/Be+XeaXC2tWQDFYx8jHpNb4dTBgZhL/BzWNmYzYO0EnpZs4OR
8gnudCsThw/gwj4doxDUNHV+X2EdbX4HRB5/NfrazzR6PZMdyD/IC3KqFi4mD23v
W07EXECLamyrhcEnanHVNrMcdSNcx3QyUvRsVOZARyEFavO8L1ia6PmCLoR6SSs+
TBNNGsGvxtYUR9iPNTsTEwE4YyMVEBiI6uARJ+61PWryYzl/5/4=
=Ku4B
-----END PGP SIGNATURE-----