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

Format: 3.0 (quilt)
Source: aac-tactics
Binary: libcoq-aac-tactics
Architecture: any
Version: 9.0.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.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 (>= 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
 78a727265ea5c99f803c5391d72d824f318adc35 3952 aac-tactics_9.0.0-2.debian.tar.xz
Checksums-Sha256:
 3accc8ad6ef1269fb926afbf60de6886811c5a74d1d3b39a01804aa8b83924c5 70184 aac-tactics_9.0.0.orig.tar.gz
 2f063c93615f3f9dbbdbaad83da44e505b04654faaf1bb1b4e6779c23bf1b65c 3952 aac-tactics_9.0.0-2.debian.tar.xz
Files:
 b8f9b3f4700b60d26d4f802ccd96618e 70184 aac-tactics_9.0.0.orig.tar.gz
 42c65389d129a5ca27870387bcb96ca9 3952 aac-tactics_9.0.0-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTcLwZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUXo1EACQ6yhiW6oq1kJcZULQ9muq
XO7RcOWkeo5WED8ZREh3f+hubcve05dtFEFQg0BoXHfIRRJiMnNMzLwkttX0woNd
ZYKyFg9SYoBzLvyVHVIriHNA9zfqU8VoKWBaSdNen7RTaV5JHpG/tXpKS0utWqdp
pPseLcDqJiDsK7BloIbr7jk4RRY82M04OvP4V/mehrrCKWfcKtu/0LdhfNz1W4n/
5SXmrOPjo7ajqzvUdQYC2HE0DmBmTKIhziLG7LRw+HLV0TqXuhVWbOlGWjafGhdb
y2T5mxuIUp4/WFE+qKq9VW8aIebedu1fCkNW3UaWbVwVQXa55OvPAXKY9h1XB2EM
xkzY5eAkH4R39YTMCm0fUHEP0i5P1oCDRweC1Mkz0NAZE+6YGj7m3Noj9xOnKqZn
Kg2IRcrw2lR1/QuAbyXEE7WEHCnmlp/pTToHIZuoqWb+IQqPlXkUAcmbFrmq41rM
aSsBxRk6ELmT4sGFMDLKh88m2foXRatc+evW1MkOtSWUDc3VBwqSqaaNVGBAmlLg
guWywdhjn7EqecPX/+8jFZyxdYbUAfJYM1TCj+5SY3IgO/2klWnQ8xHEPt1CW71X
W1Dbqg5O0ncaF+S0PLE0KWLCPQUjNht+uKHKgf+Item9rcOQg1xv3adcuCK1vCSI
Z14W9SKYmaxdPyF6k8isJA==
=ffX5
-----END PGP SIGNATURE-----