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

Format: 3.0 (quilt)
Source: aac-tactics
Binary: libcoq-aac-tactics
Architecture: any
Version: 8.20.0-1build1
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
 e95cd164d5f0ab280f00a34dbba639e77b641311 3872 aac-tactics_8.20.0-1build1.debian.tar.xz
Checksums-Sha256:
 91c14a2154e2205e934cf4636725b735474aeb824ae3ad5cfb3e19a0b2b0f67d 77668 aac-tactics_8.20.0.orig.tar.gz
 100be71643a11a01a121c21b27b6cd260e226d2e04dc48a10465a7f42a6168bc 3872 aac-tactics_8.20.0-1build1.debian.tar.xz
Files:
 ed2f78c3986c5c92964e218d5a02cded 77668 aac-tactics_8.20.0.orig.tar.gz
 2485e045bc5bd940c84396e74b48dd6d 3872 aac-tactics_8.20.0-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeb8b0ACgkQ808JdE6f
XdnuCQ//eIeqnyVi0KhkkY2lrotU2wv8Z3rEe756efT65Gjqw6/ckp08gJx62GUJ
sAsvnleuZ7HSm4XF5NbXqMI7UOFQg6bWNiwgNYZjBEvoLpxYJi1jLrB8874Om+Qf
fHaXyjHLBrC85wmjNIouJtvKF9Niy1tt1gq2ytfEY7sNCmfrflWa3Oa6gVJdEU4i
VINuemr3WPnVheZVXJ69WdJy/iCjWLg7o9G96maccAQ2u15w5uGJgvvMwdO0vLtq
p8gW1DHWlS5Pj7o8TISVEseuOfQR/d6zw39U2rzIOdByOUhM1ZoQ8Dx/RWBHEi7b
CIk0b4iIymw+ZJ5KKS2/OFAcIvCV4m+zi9uXBEZ5FScBVDqvDKcoZx9XYcp2hhW+
SWNQuzqhzm2Q36zhUkWJ26EIbPNtR+QFtZtTH5xyGSIazLCFoNwtgutUMDS47esG
jWBdV3/FFuTnDngjSL598wZUmTQ9qatLxJfvSKDcyQoeN+q0wj3MUiHE6onvPM3s
DBPqqYwt2VqsJ9M9/k1HSiFxIY2RHYJcHlSqkYBZ51Nv5BPIlwtaVrQaVReMu/UD
L9WRDt4VNb/+ORJkxSUq7t4fUXMLO3cSZhJuTWSd3QNziuhxGOjUYrnItCiqbY5S
JXaSi8NPKB0uRotanEVNOOMG0XFoWroRPmDbS+VttGyGKWP2olU=
=MjNX
-----END PGP SIGNATURE-----