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

Format: 3.0 (quilt)
Source: aac-tactics
Binary: libcoq-aac-tactics
Architecture: any
Version: 8.17.0-2
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.6.2
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-nox
Package-List:
 libcoq-aac-tactics deb math optional arch=any
Checksums-Sha1:
 a5db7b78e71968d22ecae7e45706763e6e43bb91 75677 aac-tactics_8.17.0.orig.tar.gz
 71225692112d9595399d0da7a64766bd95261801 3660 aac-tactics_8.17.0-2.debian.tar.xz
Checksums-Sha256:
 361a5e175d2da10c41bab8863c480af97cd687bed8bbe7df5c41909f30a8a61a 75677 aac-tactics_8.17.0.orig.tar.gz
 27c71adce80f33c86f1754feda4d7f1a423a26f5b94440501d137b109b27064a 3660 aac-tactics_8.17.0-2.debian.tar.xz
Files:
 7233dd0a27070deab8239c5fb490f511 75677 aac-tactics_8.17.0.orig.tar.gz
 6538aa61bbfa5848c83a0b6801429067 3660 aac-tactics_8.17.0-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSHVYcSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRPZYP/37Bi9ktYFRa2QCC4Wlk+QrNuTfNOEUR
sjaw8QpQrnkTm1Q4L3/O/ofP//k5dpYSXW3RdFeHOfisgXg6PfajNF199pSueWmZ
hNdVVC8w9EGhvPUEzkxMHbhISA9/qfJC5l7obtTAPSw5pRmK0logtfuV5QuHAoDD
VxszW1iDhxSr+Ajp5KSMAZswqlQ129qCobNNvl0joNtU7A4PRRhWrw5/xTkZwgAm
/SNUbj48IA3EQrT8s6Qu3OzbLeFJWf5R/Vb3hZ0vmwUcFlcnS1ZPCxnwFi4O8WtP
PUe+0oDcLRgxajg8AQ22QyrE2RE0nhOtakiEHCgrQeB+GF9uR3X+kq/p1vpqwg5+
sMujjaKmOIPKVk0gK3jf2StHw9blg8QoEI1KgGc7y5924evF+m8lVc+YcwPIiNut
WyTTy/mEtgACrlZ/aGO+srGLcrApYItPQV+bKOo+le7dS1oXYEJaSboWgXV5f9xa
7He1N6fh+qx7/jH4pmrmkxfl8XXI/g15FeuiitfsX1XtRTtgUJ8hxjcAK5hVcVqx
jMSbT0EGq/uxvuny+jRltal9e7isFBXPxdyHQ907z/xvzjfJkaAFBMQOHh2fQMb6
2o8mh4aPBfps476a9aCYzKT6H6FLxy94eHFJei+rg3XDLZlnAV7Myjff/1ey6rKK
TZTYJCSC5puL
=cjx/
-----END PGP SIGNATURE-----