-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: aac-tactics
Binary: libcoq-aac-tactics
Architecture: any
Version: 8.19.1-1build1
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.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/aac-tactics
Vcs-Git: https://salsa.debian.org/ocaml-team/aac-tactics.git
Build-Depends: coq (>= 8.17), 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:
 3afbe276912ec8d906f8fbe4c8046cdbd03adcb4 76986 aac-tactics_8.19.1.orig.tar.gz
 42552f5792353363a05dea0d3f42d2d9b6703c80 3816 aac-tactics_8.19.1-1build1.debian.tar.xz
Checksums-Sha256:
 1dfe079ed88829074157befc3b59bcb373e93db1aedea720928ea0ec7c0941e4 76986 aac-tactics_8.19.1.orig.tar.gz
 b1fbabb280fb574901be1bc06a67dfcaef754a832c57b21e416150a1a8c2caa7 3816 aac-tactics_8.19.1-1build1.debian.tar.xz
Files:
 3a5eae37483beaff0bc1a86019a858c0 76986 aac-tactics_8.19.1.orig.tar.gz
 9096d81dff29432778b4e27acf3ac234 3816 aac-tactics_8.19.1-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZtpjAACgkQ808JdE6f
XdkmpBAAlMYfhj560tQV9x7XIBZD0k6VJHgjgiYLulcIheYgsaAIA5gbf8te4u/7
e4pn4QS7RP+kc/SnHPoSFcHPbzWWlz/jKd75DK/6gkOFZBDzIwonu6x4tOEEn6+E
NF7qyj0njAFqLAJpLmuWZRrGWJurSPfa5LNR0x7cuU0nuTndiLp9cAklAEuhXd1L
tS8UGlvP8viX4WMNuIvJxJfkdtqnVZiXZzTmSr27rvjz8mEd51r/TFC0tV5/lyeb
YI2O8ux1SyJyvwRPt6WTW3KcPECaq8B0QegV6BowW/IAdUMeTXpasWEhjcmEjLNH
xc1dGNF/Q3jTU/aMQxaz/OvW8ALjBWUo9GXFYkKKBhS23bBmkLc2j7z7AYEysP6/
O2JHa/hsaJ8ua2hHzJtIlxaPdAHd7BRL90/KyGheQGDu523WPYUiE7kdtV0tgGbc
bc5fPvizgljc2S6DUqmUrJ9Bi7QszyweFFPUrWC+exTJCaBEHc/Y7QQfel0Hk8EP
qKi/hzvC8ik3HXaKUuWvaFJykg52Z/NbpYkZ861xH8AnmG5pmQJzc0CEMIR0iMvL
PJ5YGoxdhut+O5uPfKX2+2TUlv4FXgmoBLPvo5WGQ6u9ulutXK4G377qwi+nZx/H
eND/+DpSoJOkqV9iV5ONTt86AuAHavVX8CBeRWvvMR2GuKftTTo=
=UwfQ
-----END PGP SIGNATURE-----