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

Format: 3.0 (quilt)
Source: aac-tactics
Binary: libcoq-aac-tactics
Architecture: any
Version: 9.0.0-4build3
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
 70107244d27f7d2d50678b5664cddd5f5487189c 4088 aac-tactics_9.0.0-4build3.debian.tar.xz
Checksums-Sha256:
 3accc8ad6ef1269fb926afbf60de6886811c5a74d1d3b39a01804aa8b83924c5 70184 aac-tactics_9.0.0.orig.tar.gz
 fb1f9289286b57735a05483a262b277931a0531d9f494e4320449a43445db6b7 4088 aac-tactics_9.0.0-4build3.debian.tar.xz
Files:
 b8f9b3f4700b60d26d4f802ccd96618e 70184 aac-tactics_9.0.0.orig.tar.gz
 444bf845eaa27ba505c2b6f5abab21e1 4088 aac-tactics_9.0.0-4build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqT0LsACgkQ808JdE6f
XdmpaA/+M8qw9x987a70pdy79pCvJ6iMO7nABO3LdWSfVZEveJDtUTwHBbNfsPUa
DEdSwumfPTAw7lACmtiiZIu9qsDhiSMiQXkJkUVK0Z1Td7uQZ9eMNnDarOVNSYMA
UQXMjPkXV7xHZPXu4fQrIhiKROQ5t9D2+Ks3EMYf1gkKlPSahqoUmoviENxqeoNc
YYy/MlZY/AJBENuD7TN9le9BgPlpHVRLNfwjhIjyuI9IyDW6VrBFwzLGyFP1xe8b
Z159rSdAncF98QIK6czzy13VezwuaVio+9xVfEjqY0A06OEgc0fHhK+bXFKv+gvj
svyUyfWl0RwdE98q01QLW6/yfnUN8RQU9f1lLakXHKVN6sROPRs85zN+vzBtVBlA
zsk9x0/vWKELGFgZ0KaB4FESQBe774WvTqJgLhMa3I20FAFsc8mHas5Dakry4jGJ
tHGQVug+Mz1frBI44G89PtoeBCaMr8brz1CdTbNWWmO4ZjHcw4pmCEQWO+UTgNGZ
FTpQgkgNoFDOQdtjiy5TNkCGK7xzsRJITkTAHIXMtNkDr0K1mRAg8SyfDVaLC5MI
izYqxRCHKJPrxJ3QH+T4JNj8XWG0GAIarjvymdFpgtAcAfCM7M8zGlmv4LsdSrEj
tmH8gqY5NClgE7TPlTy3lyYqBsHSzop6LPXZSijvOpSdVl5Uto0=
=EzG4
-----END PGP SIGNATURE-----