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

Format: 3.0 (quilt)
Source: aac-tactics
Binary: libcoq-aac-tactics
Architecture: any
Version: 9.0.0-4
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
 f595031ec89145c1ee23a52e89c8fe1eaa67198f 4004 aac-tactics_9.0.0-4.debian.tar.xz
Checksums-Sha256:
 3accc8ad6ef1269fb926afbf60de6886811c5a74d1d3b39a01804aa8b83924c5 70184 aac-tactics_9.0.0.orig.tar.gz
 a95d84f434c3350815a29726394c0d8dfab88ff68653ceeeb812a1d38fe903ea 4004 aac-tactics_9.0.0-4.debian.tar.xz
Files:
 b8f9b3f4700b60d26d4f802ccd96618e 70184 aac-tactics_9.0.0.orig.tar.gz
 cfa3fbdea5d46e8c127396d97d321cf5 4004 aac-tactics_9.0.0-4.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpocl0ZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUXRVD/4kd5BUB2sJQwNrAXVsuXpj
iOHiV/25ep+XjQZ0YqdukPxePoHLRv6pUNyQ45ocmL8CK2R4uQQFGPJdtx44wxZ0
UBw2maNvY9D3yb9J8zCPmmY2BSd4Stth+2EhcriqCdgr9jKSL3o0pJ/hPAz0qNgU
j9wjOKJV6aruiVkPZ6m/COhCYuMSPl/UspIgpptvzP1n+McANy09xKUuMh8ru+tm
KVPo5cYCfULpoPiEDK/KfqnaN73fGpi6OcJy+of3DuujUvqfmX3cMo0mbhvx/FAY
RFoZ1hrD2QTqP3fLzNQmQgiMbgoWbJ5KbWMGmyCwbEzoRzc5FwVJcmeBKRsvXaco
eVims0qAOAT+7VHROTwfyG91wh+X7rckvMlDLA4As3Qfa3cCWr/TguFbt4da0DSH
1LJeSIUPcUHv/nhN77M+momDa/HcKucMn5skzf203UCUIHe8fTQadnS3v3KOeFCl
5QbUJEWGTXsWWBf4VzUetDBMYY53+ko2xlX0rUovAFn7Ws1bT+Z47Q1AogyZhWEI
k6QNu8x4WZVRMDooIEAtKg3g6oS6pDwfo8NwrjyncIXVzwj4Y3yLaINGZWJI05Wa
IxGaS+kpOjixEDu4Ja5w2dmoSvA5dhu7WSYXxu8eoZthHkb4svV0EzheS2CMZGj+
c0MqFaM3Zy9yhU4ayTtK3w==
=DZaa
-----END PGP SIGNATURE-----