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

Format: 3.0 (quilt)
Source: aac-tactics
Binary: libcoq-aac-tactics
Architecture: any
Version: 9.0.0-4build5
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.4
Vcs-Browser: https://salsa.debian.org/ocaml-team/aac-tactics
Vcs-Git: https://salsa.debian.org/ocaml-team/aac-tactics.git
Build-Depends: coq (>= 9), 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
 c578db35637975a34c1eb02455512ae752e60db5 4140 aac-tactics_9.0.0-4build5.debian.tar.xz
Checksums-Sha256:
 3accc8ad6ef1269fb926afbf60de6886811c5a74d1d3b39a01804aa8b83924c5 70184 aac-tactics_9.0.0.orig.tar.gz
 81075580b8967d5a29fc950d3ffb3397cbbebd820ed0b8aa4095618f47964d98 4140 aac-tactics_9.0.0-4build5.debian.tar.xz
Files:
 b8f9b3f4700b60d26d4f802ccd96618e 70184 aac-tactics_9.0.0.orig.tar.gz
 376406fd90fe7b261683cdf568138947 4140 aac-tactics_9.0.0-4build5.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmqtC/sACgkQLIPbyOm9
DjeHTg/+JmO7uzpZoYySZ1SvXCB6HfOfRFLfcrw9MS1RnQBYAaJj5PsHuOapFSeU
Gbrz8UDeJRG1k/glUC9ow+AxyzTcpxSWgUYXtiA/e8UZZ5diaWD90TgoejQoCEKn
vq3Ux7Rl1WNINXw3/J5CAnm/KNnYIB3uMjD/2ORBP9MGEuF9jom2/NmtZiiC0kUW
I7y99ZUgRTwnPP8FBsuU82AU6dRznvQS2wO2pWYe3jdphZJpGVPXZEbYVBw8phK7
GF9W04fz3X79o7248/Yi7IF/EPhrQIMuIuSDmREm6jyGEmDbWeLq+Oo5wIiBB+yx
TRHgAQcg3C7heQ1CZtz9fDPd73WZkh1drViE6gVRPC2I5pXKMC2ijmdZz5GpRnT+
oaMc1AamQn1oAGCVu//dTNr+ytbxbqojlR25q6DPr9uCfB2JOCMcc+UvhnEzozMJ
9LRY0OceFuqtYLUtjNhElefICBFFjtHV2eDzfyx4O64yGfW5/dKgu+4EB5XjGKJO
UIhLlb+76Ah/WCO89eoVTKxTijbEib6uDyYxONMNPWuL2k8FUmJR2rIMqll18SDv
Fyg/hMP/R5/xnPLg5La2QPGRqnC8B3AuMB3EFcRmHiVDG13Qk6yUdnNpv9EYq6BI
4Bl/M8Kh9TFqfp3h0KtNc5vLEaq0UiVNGgq+p5qROLKxszTaRKA=
=PZG4
-----END PGP SIGNATURE-----