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

Format: 3.0 (quilt)
Source: aac-tactics
Binary: libcoq-aac-tactics
Architecture: any
Version: 8.20.0-1build5
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
 a34c0b49f6dbd7352befa7b15a35c7c69921dd83 3988 aac-tactics_8.20.0-1build5.debian.tar.xz
Checksums-Sha256:
 91c14a2154e2205e934cf4636725b735474aeb824ae3ad5cfb3e19a0b2b0f67d 77668 aac-tactics_8.20.0.orig.tar.gz
 74055daf9ff5f4223b0a550631cd248374b2c2ad84d62cd83ea52a1617925f86 3988 aac-tactics_8.20.0-1build5.debian.tar.xz
Files:
 ed2f78c3986c5c92964e218d5a02cded 77668 aac-tactics_8.20.0.orig.tar.gz
 d51e753a5e2ead38b66827d703c51da5 3988 aac-tactics_8.20.0-1build5.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmlZWTEACgkQ808JdE6f
XdnjRQ/8CBmMRkRRUt2unndHeVQBReqQA/fhVWWJ6mu3WqOLMOeXB4wOTuvUERmX
p/iIjamMvEfvgm17odFAbsuYBjMaXZkC99gv9hOPsfD19EcWLcyyJjMO4KDQX1r3
/ju75u2EWc4NOQODMaKuiGRkdU7RvzdCmEfuX/jB6K0/gyam9Kvpk/WmW6Jd4w6Y
pk/ZSl6a9UQocso7dBq4QSo+S3uLh52wAkZ2K5OK5mpwWt/wfDBUJMTPkpo17/9P
2IynS8wbCaRB+f6OYreV65gG/R7bTHGutUk40mOrMcPec5W7ImdyWSoP2k8kpqi4
GTJntE0M7jwKT18JJhKtj+f31SD+SdAxEHKHX4e39hID53JeeThzxtDLrUwwe1Zq
lyNcO3rM+zkR6DSt/2P2kZuUKjB6x0bLSkk2+opI9RNGdDj2j/ooIrJLRwiGWx/O
jGGy6sYK/JNSHIc8UTy6pYQM0KnS7m6JvluG8MG67bj57kNEM7OO/Nq5GGcwk7bk
HcLIrSRJ3sLZy31DUuxb5P/1rqF2e6Trg13goEwOy3/sDX7Ij4VviPAHVXzp/TgI
+Bq+la1V0CNoFs6/7s8CWOvG3HbZCrrEhu3+dLfFY8ZoyoEu8v3s3PDh18cMnmlc
cCH5WiZHw/QyVG9G9vJKLnCYudYfgc71X99XMfcRb5eQfbWNfBk=
=3Vo1
-----END PGP SIGNATURE-----