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

Format: 3.0 (quilt)
Source: aac-tactics
Binary: libcoq-aac-tactics
Architecture: any
Version: 9.0.0-4build4
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
 2030568e9f662518789f9889054db14a27193e2f 4100 aac-tactics_9.0.0-4build4.debian.tar.xz
Checksums-Sha256:
 3accc8ad6ef1269fb926afbf60de6886811c5a74d1d3b39a01804aa8b83924c5 70184 aac-tactics_9.0.0.orig.tar.gz
 dd0acaefbeac28dc6db23aa5ba09b3550499c63ceb36de20015d00a4fda2adb7 4100 aac-tactics_9.0.0-4build4.debian.tar.xz
Files:
 b8f9b3f4700b60d26d4f802ccd96618e 70184 aac-tactics_9.0.0.orig.tar.gz
 6d0456b184697c9304b3249327f35ad7 4100 aac-tactics_9.0.0-4build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqiVEEACgkQ808JdE6f
XdneLQ//Wqy0YqO76IYXWpKZYY6fc941RWtH7yzETTMD7//VcQwlZp0gn2YweDVN
iWyV3w9Q8RLsJnaon6l2K5acpOjlGGXWgw4FehYqtqH1rFu9sRNT56kSwIJDpVQ0
QJz1j8GZwkfFe3N+TQZJoW0whJomlgwCQ6RLuU/5W+JRxI1Ly7vb67ZXPd7nc6mh
BWita2HLCzEpBcjWjRK8Ip9O57jH3DhP+7ELFDtkDBGnrifKnfsICM4niCcJwWd2
s/i9nnlQs7Bhfy0Oy8sByUo7QHvFInp2rC4MwaBHIVD1jXhvk+5PE6eK7ZaMvSXL
HDJmdg6Ope/1+41/iZus2QbMG1JHmuFVOg2i7OIP0Xgtg469dSxtNoQdu1g2ZLx5
Sy+L9xlboGLDzO8JJ3K6w3QGDXXr5jjRNb5V2ON/RR0l+w3EIlHIxbpo6V4FaEF1
AIx7Xj0ZlEd0gYVEQ+dowPn5Asu7L1clGsEFGRJuvY+W14XTr+Wm9o1Zi9zKLN5w
MyB+Yikb1Vws+mDyIU1dzG/0a/vvwwsEzSdOFfVyx95ShZJqFtj2C0AGh6qQyNIO
Svn/EimmN5P35SKzrnl/enylxAaA237edBC5XhHpi2zekByNe2O+zt6g6VtuQXwk
ejNz4HWhudaaxX4MbEpzAtOtWdbiLQyRxiB5QfjF5lSnQvQ/RYQ=
=feA2
-----END PGP SIGNATURE-----