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

Format: 3.0 (quilt)
Source: aac-tactics
Binary: libcoq-aac-tactics
Architecture: any
Version: 8.19.1-2
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
 781a667cee57e8fe16ed4fd103a5709c01662304 3792 aac-tactics_8.19.1-2.debian.tar.xz
Checksums-Sha256:
 1dfe079ed88829074157befc3b59bcb373e93db1aedea720928ea0ec7c0941e4 76986 aac-tactics_8.19.1.orig.tar.gz
 c1eb9d9b869430ef47376b08d2b33103b167dee243635da90cbb9d4aa08982f4 3792 aac-tactics_8.19.1-2.debian.tar.xz
Files:
 3a5eae37483beaff0bc1a86019a858c0 76986 aac-tactics_8.19.1.orig.tar.gz
 62daa5bac9a0ecf68b1af0002068dabd 3792 aac-tactics_8.19.1-2.debian.tar.xz
Dgit: f51154999badd859a4935ad1ff16ac18162b9503 debian archive/debian/8.19.1-2 https://git.dgit.debian.org/aac-tactics

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmauTQ8SHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBHBAH/0yVPk24ajkVZPLG5fV9NTKqxZMyxQAy
PWTnHzdEIxm99YfI4+kTXFQ8blhxedxu6WGABJ97aHVdGDCMpMwn0UqSsVOvmYGX
O5AxMYMfZNxy3BWBxN3bGaTZDbwc2vtodq6fU3u6m1DPEwUjnio/H2hwD7l2/JPO
r7eMwtuHMzr1t/HZKtIYa8DrRZv/oKWuuJsD8TqtnXFo8VsQT2SLVDjt2rAG8J/o
WQ+BfaUF/iUX24F9QmXlycVBNXNV6ZChPl7QeTAaEbWpawt+AbKEXAKqzGIcvUp3
AixRGvLzTj3L2pzKgLorh25Yej2jCn+JOeNwQgzVg0l4f5CnCC6PsUE=
=KRVQ
-----END PGP SIGNATURE-----