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

Format: 3.0 (quilt)
Source: aac-tactics
Binary: libcoq-aac-tactics
Architecture: any
Version: 8.20.0-1build7
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
 35da5a0e00d43e5ec4fa8f5640c3919c61cfe76d 4044 aac-tactics_8.20.0-1build7.debian.tar.xz
Checksums-Sha256:
 91c14a2154e2205e934cf4636725b735474aeb824ae3ad5cfb3e19a0b2b0f67d 77668 aac-tactics_8.20.0.orig.tar.gz
 67dac15083cebe0d77c5b607df91a8e3bbf0d3550e694c51c822370ad9bfa2ca 4044 aac-tactics_8.20.0-1build7.debian.tar.xz
Files:
 ed2f78c3986c5c92964e218d5a02cded 77668 aac-tactics_8.20.0.orig.tar.gz
 12d8cca1354d1cef42cc5fc401a159af 4044 aac-tactics_8.20.0-1build7.debian.tar.xz

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmmkDbEACgkQWWH9vpxh
mAmRdQ//UXnm0aG3Nut4z4GH4Zil0CZU6WubnLbzazcvCcWSxVyzqjoL+2cZMpqD
9+vSXZVKeqQr6cLiwOAjmtNg559fzphczJJi1N+b5AKbakzzKuXuzjeiqVJVdCRQ
Q7GCnNi5xZQgr0pBSBIfp+CmT0cLWMZ+yFTCejWSl9zQE2/Uu17RLHhtroTtUp7x
0lbpNftkNr/6+TlAvS9PyU/4Oml3blY8+ybqhZe3GTVVM7lcZsy0ZfvSi6X2zkUw
DpumKZadyP+lACoARgKCfbJES3H/WqS20y0btl8rYb2WV4dCoNyeXB1tf5yVYAC9
AjFntDEIHPxgAxLcROAnJiHU2kj6r3Yz6meOg/k7WlhfWvSbdMegiLGCPGDBOQiE
UqaENgjq6l1+qqDkKKEpgEwjU/stXfLXC7Th5+xDl9tniH1JoorKoUfh096niORP
371QYyin1RdFanBAdvoZXtraJhxH/HALbV5v6G3vOnQiSJyqv8jgAdJgAPxRi4zk
wrA5/QC16AET+W+5CSBucqzCWAEyxJ3KBs1uoPf4BEBCH1PCmP2T3zJSpEugeFAq
pS4cgZSYlBDu0wByRFILLE/BQHjVUeb/HHbLvLL6x2e9iSeuAe/acNn6K3uORh6s
kv5dYPb2WcGPw3GkQa66aE5/Jdy2Wqfulk94ooEL4/5vXyVv0RE=
=rfWH
-----END PGP SIGNATURE-----