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

Format: 3.0 (quilt)
Source: aac-tactics
Binary: libcoq-aac-tactics
Architecture: any
Version: 8.19.1-1
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:
 3afbe276912ec8d906f8fbe4c8046cdbd03adcb4 76986 aac-tactics_8.19.1.orig.tar.gz
 62c5e45c43f5848bacd03739da86ad2be2776c89 3748 aac-tactics_8.19.1-1.debian.tar.xz
Checksums-Sha256:
 1dfe079ed88829074157befc3b59bcb373e93db1aedea720928ea0ec7c0941e4 76986 aac-tactics_8.19.1.orig.tar.gz
 268ac2dac25455623b2265f2b70c3cbfefe42d11d3f76eed2b6636b868683207 3748 aac-tactics_8.19.1-1.debian.tar.xz
Files:
 3a5eae37483beaff0bc1a86019a858c0 76986 aac-tactics_8.19.1.orig.tar.gz
 52a65b1482be539cc287ccbd12fddd6c 3748 aac-tactics_8.19.1-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmZn21oSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRtD0P/iKmBVm7NM9alYzdOxR7jrXTVHvjf6FG
wkNZLjOgWWssacBC7zPEs2xbCKKm6miVCdkBe0lE7uCJcTDgHr8lKpB2/NGbNito
3MGU/H4CqXGXvZY5F0nLEASHvI/Wd6zo7j36jq18pYkuHlLE12l0VUfiKi1FXcte
VnstkCXiPE6Uh47Vu4rGQZrI/WIR7jT+xMTvwQgcmC0GWzHbtgDmFDFw2G4QUaio
n6C9mUKq4kDp4IWXqFWhZI3ckBKm6xrp+ExvHAs0Q1FK6wIzyR9EQci2gQ4IPP9V
CZ/ZK1LtjMVUOt6PuRmX0mRICdngdHl2U7zq04ceFLEPRaAmkUpIjY7crWYjVG8W
yEc3oKUafVW4s6XFkJJY0gTuGT2XYZ2CTrFpTWedx28Z3VlslFV+Sud6LAJZDdsr
q+L79yvR2VAC9meWhJhw6OFmITzjCmM95Yz7Uipg3l7P9PnVeZOR1S295ka3xjQx
dz/kmjC9/pD4GkporWxkxRhiFOqLdBICm1GXpcvg/9PcBB7qXPDt0akwsiEptsU2
R7ZuASLlEO9OVudrOoDzUVeZ7imsVGSctY/u3WGRfJhOqjI4O3wPxCP84ygmBx7K
/rLTmej1kx8JWyYTCiNeoFy9oLCM0D9Rx3tZLzlFdXBHVl4gwV2wFOcBKkDX1kha
cKb+AuogAOtg
=tKuW
-----END PGP SIGNATURE-----