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

Format: 3.0 (quilt)
Source: aac-tactics
Binary: libcoq-aac-tactics
Architecture: any
Version: 8.19.0-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.6.2
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:
 67ee12c7b87a29fbbac20e3320688918e9a79a4c 76453 aac-tactics_8.19.0.orig.tar.gz
 41ecc1de4b46f0f3a0f8d0b52bf2c46739391f45 3800 aac-tactics_8.19.0-1build1.debian.tar.xz
Checksums-Sha256:
 a727e256dce5c422af71532cdacf94d0979f6bab99b4b40f351972be0804fcb9 76453 aac-tactics_8.19.0.orig.tar.gz
 f0973b6685749034f8b16e3a6e5de32cf3fa983e0e7bc3e7f108c31e1490b325 3800 aac-tactics_8.19.0-1build1.debian.tar.xz
Files:
 45dca10b9fdc84c3500cf89cabdd98ef 76453 aac-tactics_8.19.0.orig.tar.gz
 e823781ffac47444ba4a9deec0c0d7bf 3800 aac-tactics_8.19.0-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZCWbwACgkQ808JdE6f
Xdl/mQ/9F86ppzKCStirM65eQD9KcRF4JMYD6Y2RJXLNzebcHuXgQw8vtEZjNgRu
vcWEKJIENDQ3u5TMMZtBxSLj4/xfmQUVQGHn8HYYAwcssJhDLKw1QajJzHj1xojP
fXAFqgUz6o8vZa/jXYoIz+SCozjIUvH31A703gX1qyPkgumvzGQ+ZMfKCXhJuHcy
x6oaYpvJnG/AHoSLQi0v8oEtKAxWA4NAB4sHoqoq8F/H9/i8vvPcU6JfHseBCX+7
9WW7SBHivjHMWIqRYbIxFrpt4cYboNXrBtjnfrAGlqAUBer8RP7+AAZTCDgtrY2c
QQTqY3x/d9iyDvPcI7lLYiKxA1+Zh6dQsNV7Ss8JPHV/jsJQDGtlHUXsT5TsG50E
uRTNLj8h2YnQmt+5TbYk3cpj36Em19BJCDTZkEKTRgE9mxp2hXBQHb1nN9EH6HP0
1foioT7l4PxrCQ+Bj/SfWSMHX/5brG0yxzWgMIWJ9KAb1Zjn2AbSCIWqPiPtPqdc
Rj9AtWWoMR5oQ3h4BpMbddQiF3yoJiDEnKVtIDmZMcWq/YywqJEklmcmidReSQO8
P1dwV8MStTFTCzid74Y/aly5HxVy3nsBBUs+XHwXlMgTvHPvFHaey+C2/cR13F+0
npZcTfIhHQh5EM9Mq2YjJGMXd2eNn/yU90f/ScneznfSv04k4AA=
=ZZAk
-----END PGP SIGNATURE-----