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

Format: 3.0 (quilt)
Source: aac-tactics
Binary: libcoq-aac-tactics
Architecture: any
Version: 8.20.0-1build9
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:
 35492da077bec505b8b5e6f611776de23130ef45 77668 aac-tactics_8.20.0.orig.tar.gz
 eabf62f3d835f94c0b8b338d9915d6dffe74054b 4100 aac-tactics_8.20.0-1build9.debian.tar.xz
Checksums-Sha256:
 91c14a2154e2205e934cf4636725b735474aeb824ae3ad5cfb3e19a0b2b0f67d 77668 aac-tactics_8.20.0.orig.tar.gz
 fdd19ece41dadd8e81e0df69369243a7303a4f5d124cb23e5c257fdd5212ec6e 4100 aac-tactics_8.20.0-1build9.debian.tar.xz
Files:
 ed2f78c3986c5c92964e218d5a02cded 77668 aac-tactics_8.20.0.orig.tar.gz
 616e46b8ed518ffe664bb69796076619 4100 aac-tactics_8.20.0-1build9.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpOVEYACgkQ808JdE6f
XdlDyRAAn5/2Ww03XDtOm+8LWRoUBkDJu8yY6a6QU+n8i37h+PFGcbiSYR6ebb7B
wd7xFt07C5YeBmMDe3Y0kS2mN0OEBtURoBcR/JiRxtFrHPKFVLr4pzsyXOjlqrDi
fQVWFKvKJk13RxAHSkNYoYGPqRtDYoICOSnZXSKC7A2t5VlbzPVFSfQhPk++uJMm
3t92rIgfmMX3JroEJTwdUVgVn2vQT5S0AHKhk0T0pGzqq/WTYk39JGSfbPgxTzA9
WQNbpz8RR/FAGxzo4KE9ovyLif4iJwf8NYlMXBj3OS/suT7fCgB0p7CO9A5NW0xE
RXrUwGaq85Y8nOyP7Sd8w+Spa6E7uDnvcPccFY0d95Mbwk7giHEHkjBU9NeRnQIM
kW0WwFHk7ueLFDjkcY8IpK1R4z7GJtmWjr6hHxTowzyxb+mYtXefi0pquepB7dS6
oxEbNspkMoYnPjzBRzv/nhrJ5guioeMG/BOfZPb21Voh2tj/3580yn6w4Od4/GlY
+iST4Q3v3Og8FJkurANMJJiIjP6qm5x55QN4un+D/cmcwXa9h6rwPLLnPICmXBMn
fcNJZdm1Yc018gmaaibVvS2ZAn2bz1BK9I+NZfU52DZclnBrASzq9OVCZp/T/qpj
ms6xkvgmh7EXLzpqKuLuGva+5y0SKMHATDVGkY0ci765OJ3KGn4=
=/kTe
-----END PGP SIGNATURE-----