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

Format: 3.0 (quilt)
Source: aac-tactics
Binary: libcoq-aac-tactics
Architecture: any
Version: 8.20.0-1build6
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
 d19f9298d02ad073ecc3b53c1eb5ddc4517cf4e3 4000 aac-tactics_8.20.0-1build6.debian.tar.xz
Checksums-Sha256:
 91c14a2154e2205e934cf4636725b735474aeb824ae3ad5cfb3e19a0b2b0f67d 77668 aac-tactics_8.20.0.orig.tar.gz
 ce43fbe086f4bf7a26381faccce7d7de9699cf5a5334eb3980b567ebd505b4d4 4000 aac-tactics_8.20.0-1build6.debian.tar.xz
Files:
 ed2f78c3986c5c92964e218d5a02cded 77668 aac-tactics_8.20.0.orig.tar.gz
 1beed52d4f2c3859e429dc07575e23a3 4000 aac-tactics_8.20.0-1build6.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAml5LngACgkQ808JdE6f
XdkK3g/+KDouwWgiiAKw0vLIyzjT5tzT1QeCMtrGc8qtAKv8+CicSsrinKia5mTa
qz282Pa7VfWtfWn5HCYnKV3wuuUmvYtyCkMSl8xsIKYXXuhEJAA1G0Ywrn6I63Iq
UNtR6bTWKB1qG1dkkZH5wj65TmiL7OExq5sa0kRFO/rHYB37Chp2+Kz7lKT+t5N0
yFpNgydqi8tRYLnAIKBJJsZSvixe8XdNAkeD1NiIpmwQt0HtjkzvP6LnSSBXrLxO
lcULIPpsaJkLECkLBFt/JxSRUiblvkljCJgvI/f+r6cikry8GN1TVZQAjOrDtsVE
iPlIkt7ZQVLv/F+wq2pdGnwTSeONlRwRPuWRQRzoNz8R4/Gd+8HzCVFp+pgPaP6H
gyeLsmv1YVSi9CRohDBqdCzJS6OI03IprY1jYBUoTDtqeSygvJtOR9NuLWNltUFO
QJf02DMEhUC0CB+Imyo0ls3rcN7IeXDr0xrOPh+RKtSsQGTnR+fCJzTGlH40RE04
D0NRAwqUvBDExRSPlriEqtmPNPcpeCvNopg4Lq4XOmBzZEGMD4rDjK0VOzrVZdew
+MYMSQVOa1TE0Bim8eFUBiieYcY0zvHyVymlSy0CKOyE/wTr9vZ3NfpDCKnC9e1P
XFMDAsQK2bqbc/dGzcC9OmQwhcDZLEP5tgJejB9mygXyE4/YWaE=
=aucy
-----END PGP SIGNATURE-----