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

Format: 3.0 (quilt)
Source: aac-tactics
Binary: libcoq-aac-tactics
Architecture: any
Version: 8.20.0-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:
 35492da077bec505b8b5e6f611776de23130ef45 77668 aac-tactics_8.20.0.orig.tar.gz
 6f62dd59c327430648765915d3c34ad60ada96da 3808 aac-tactics_8.20.0-1.debian.tar.xz
Checksums-Sha256:
 91c14a2154e2205e934cf4636725b735474aeb824ae3ad5cfb3e19a0b2b0f67d 77668 aac-tactics_8.20.0.orig.tar.gz
 ffc435adb107302b9f3bac8483529e1cc25df78810f350ca5a6c6055882d7457 3808 aac-tactics_8.20.0-1.debian.tar.xz
Files:
 ed2f78c3986c5c92964e218d5a02cded 77668 aac-tactics_8.20.0.orig.tar.gz
 4db83b0ad7b1caba00e8e836dc1e3604 3808 aac-tactics_8.20.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9rucSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR6wYP/2j/O1js32aRqoy7Yfsrtsbvwxqf8AVx
9AwOleYoeopjLBCUWL2ruyOVa/V8fOW+bavXmMiWvY/S8ha6uOVo6gMXVx6OAY91
gh2K75bfFauYyqUDYvHdlaq1Jvt0+7UnILiRz0W6xHGUeiNcMa/JNGhq1YtA3Nrd
QDsDUsZjRibL2ycxp3xUAEq227B0elnMk5mBv4G+cEXlZuvD8MXVBn1wp8k7Xy2M
CEFLQ7fhTcXrgxfbfUVVOUEpSojZAglSjQniAZ6k+KzDxMbwexVUiDvLmXU56gQV
0UkMUgHB93EOnJovzPCsQxyXn4SpzYCUxguC4G30M+oHU0KQhZOI+fpbRd72iPUy
1cxw9/erxhEqh6HNeUpY9NuVqwG6BJp2igrf0Zas9gjhIEMYBPVn+yINUaowNIhE
j+0W6GBFyV78UdfIgXHzYOb4jBn/sd66McDCcVecZMb/7fxpp37vAxJjM1GZoScF
dPrmAmezZFfL2DmlZ9oQOZqBM8mohQbrmlImoewq9HxjPf/mwuBvvxLXNltzS9wf
37HfV0K81jYFF0/xc57KrtMKCczOLW1k4iHbUgxU3Hx095Q2eAmepwiGK/4PWy3A
3zl5LHWY8htQnYTDzQxeA8iJVfRDgxm0Zq60fWh8L+WC7FNOTH/1f0hjUEuF+Qte
RvtnGblqlo5p
=uDGs
-----END PGP SIGNATURE-----