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

Format: 3.0 (quilt)
Source: aac-tactics
Binary: libcoq-aac-tactics
Architecture: any
Version: 9.0.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.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, 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:
 9e382797a969e3dc1c4fcec7db8ffff7360b189c 70184 aac-tactics_9.0.0.orig.tar.gz
 64758a0907cdd03653ede27dd5070b077266fdf2 3880 aac-tactics_9.0.0-1.debian.tar.xz
Checksums-Sha256:
 3accc8ad6ef1269fb926afbf60de6886811c5a74d1d3b39a01804aa8b83924c5 70184 aac-tactics_9.0.0.orig.tar.gz
 61f981c00d036d18d73ab30d81a03ce19d090592dfa42877d155938ea26ad1a4 3880 aac-tactics_9.0.0-1.debian.tar.xz
Files:
 b8f9b3f4700b60d26d4f802ccd96618e 70184 aac-tactics_9.0.0.orig.tar.gz
 5d107dceaa7d4c9ecf0804233c4278aa 3880 aac-tactics_9.0.0-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkBu8wZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUUAND/43rS1NOie9sFntEB1tJ9CJ
3xaL8iGFrfxki0a7s2mAJAr+sxaheeXBXk23YvSG3H058NZhenSwxunb/bwGFAI/
0dL0lKoPmfBrM28O8mwKUXmTeBDb3nmMXNTjAFjQ62o4bgjfQ86dIfcIzWSo7bHj
yovRAfVNch4dWLpsHT3qche0TwvGhzKuUbHi1L9z3nUBiD9QRXxedWOyUaUvxtPu
3O3de2QvVAIlCxij/M1vfzJHCNN65K2L354TWT/Lh4o2sAhrqqduyrtjqhaYYi3Y
FEVQVb0wQP5lewYQTOHcyb2tFXVs4aNYKctoPhxyYHC63tcXbKvydcd5rYa8vw9C
YB7Z0/o8QZ54I+an11Ri1g8BS0+vtyOc5FX/yjwiA3LWLOgwmqhiT3aHek6MosJ1
YBwIl2rxIBVJ0+pOo3JUrbWCyIs3LPAAc1F7UdjHiWA/6Eg6V2JoeSeRfX+KjvFZ
Bl+wfQcXFsjHrkQMDO3BuJFXcEaHP2pF+aE+eiEiCiVNGSUORcBbHcac1yFYPrfB
9lh6QBsoiiVEBDYIjqmqFD8efOt/+90kLjtUWPNCdlTqGx3r5/n/2h4BeGEeVy5/
MzwdTyXPKUG3Zv/A/L+w4VqtjBVaGEC8c6ECHcvgWO02xGPHtgS4Qltf172AjVb4
WF4DTJJ+JRhPx6A+7V0NDA==
=kFWB
-----END PGP SIGNATURE-----