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

Format: 3.0 (quilt)
Source: aac-tactics
Binary: libcoq-aac-tactics
Architecture: any
Version: 9.0.0-4build2
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
 5380362e2aa8d90afe6df5bc813fb8d39f69b625 4076 aac-tactics_9.0.0-4build2.debian.tar.xz
Checksums-Sha256:
 3accc8ad6ef1269fb926afbf60de6886811c5a74d1d3b39a01804aa8b83924c5 70184 aac-tactics_9.0.0.orig.tar.gz
 e815db5b8fcd09eea1463c69ecc3f39216dfbfc5beb99660157588adb62a2b2f 4076 aac-tactics_9.0.0-4build2.debian.tar.xz
Files:
 b8f9b3f4700b60d26d4f802ccd96618e 70184 aac-tactics_9.0.0.orig.tar.gz
 96e89eb58d7188662f4b46d610b1422c 4076 aac-tactics_9.0.0-4build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqQQnUACgkQ808JdE6f
Xdnk0RAAtkwZYVWYdGjVZbXAfIoyXRFv5aHgeumGvUayXa5BkOSRwf/CMogq1TcK
YjTb6D7uCS3tXGKmSN/kZek94+OfgbGZ+YvV4jYc8hH+Ptpp2FTFp73F2lpbguFq
UZUAnI6kDcwWteR/HKAWVmfW6vuUq74aEzTWayaLmUX9EYIc9ilSDfJLwHhj+cmS
L6KkevihQPVIZLfYEwD7Kxssqzd77CCJUpF0Pk7+zC7qANLgZATMcI71zNuBOGMG
TKLDwzsQzf9TpA2UdOmVQRc6oYKTVX50P1wsqEPN4rcDusdlGoGAiqDhzNJaNdNp
QogvdNImYMTFwp8WbWHZZmfkKzQjhtM4lXaF1GSJqph6/xelsmE6IrfeYx7oOJUh
egPRlR20IAHyQUzIiInbcLzOj6VgFujv8RubqIo8Jbn7RHzKEA/nN5+jMvkWHBtG
42lagSNgc+8b1kRxWBdflio29SzL1vlkYkHS67IUo9/LdmjbK1UZrAvFSrYNi5Gt
ChML4BOi/t8EJRD+F3KHLEup/Ck4mc7XGQ1rEg0WwuNYiUoiywctVxZrthatNC8i
s0mfxwj9+t729Y8btiB3Q5SQnNhjo97T/JQ3n0booP+QJW1DYpH6QzJiWqhczz5o
LW10VV4yJO5ujRX/vZtXFmVPhcm77Evxwl0DxP6BCys0Odh65HE=
=ooQA
-----END PGP SIGNATURE-----