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

Format: 3.0 (quilt)
Source: aac-tactics
Binary: libcoq-aac-tactics
Architecture: any
Version: 9.0.0-4build1
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
 2a0effe612d9a3f70fe8c437da1473aa7c75d0c1 4068 aac-tactics_9.0.0-4build1.debian.tar.xz
Checksums-Sha256:
 3accc8ad6ef1269fb926afbf60de6886811c5a74d1d3b39a01804aa8b83924c5 70184 aac-tactics_9.0.0.orig.tar.gz
 aa27957b83dc0aef1ea744e1b9997d8e769459365e27ebdca3a4cd545f2365ff 4068 aac-tactics_9.0.0-4build1.debian.tar.xz
Files:
 b8f9b3f4700b60d26d4f802ccd96618e 70184 aac-tactics_9.0.0.orig.tar.gz
 2dc757ccb9488479fa3a369a5e4e5da1 4068 aac-tactics_9.0.0-4build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqPBGYACgkQ808JdE6f
XdnemQ/+Kwf26z38RFEfldH4FHv/kHaPbZ/Fod2WULdZmaT6O5r5J24ws3D8fbLy
6ou//uDuAOwvL47OEntFV+eCygg3ubTYZ3d4Y/eYQVHQmnsC7QY/4+E4qGy62zVh
b2522qN25bE+cUGeOrgS1fCG+4bMeZoFRiWDLCpr7YzLJMOdfdKuTRQOGTs1F1ei
Yg2y3WNnXqUvyX+cXw+C9XMpJLQ35yA28OKQnj+UUNoFZSOaFkdV6B1gpe4hw3dN
MuPRD18D8796yN5NC+3NJPHK4PLJa0wr3wwm7ur40Gc4oWU5d8F0/ISmEZiUvfpa
ZfigB1KjCvOV5jHVEwqMOLLkPaMDOWqTibfqu/5yL/9zUIcqPwDJwlQ876jHoX50
gpDNNRg6AEHStQ6pYHRKQUuD4X3/s/ued9OywvKeEizjk1ykvJvqzqps7HCudjMT
4dhVAgST/Qqbc+RmGm41nHPIQtcRRF0INH83GMMurnMiokXp3LOvBRwAioiy4a4C
2Ej16b9syaDVw0m+iIwOxPfbLSn0EfmSVV67E8J+n0oM2bB80guWT5QWBPue17uS
aDGV1W21QDntFeYf5z9p4KYO8OY0dM10XD1yP4ohwhXgw2aakWLySIH3aVHGOIYZ
MwGU/qxhHdO4RLt56aMtd2fzcql3ZaMDvVLDxNiZf+Nkh/Bqi8A=
=dAs2
-----END PGP SIGNATURE-----