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

Format: 3.0 (quilt)
Source: aac-tactics
Binary: libcoq-aac-tactics
Architecture: any
Version: 8.19.1-2build3
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
 d69a6bdf8eeac1110fbbd50e67a9187611a21168 3920 aac-tactics_8.19.1-2build3.debian.tar.xz
Checksums-Sha256:
 1dfe079ed88829074157befc3b59bcb373e93db1aedea720928ea0ec7c0941e4 76986 aac-tactics_8.19.1.orig.tar.gz
 73b3c94d03d0f5f0c4b2c2fc518c2562348a54dc281dde8e838c0bf760afe0b6 3920 aac-tactics_8.19.1-2build3.debian.tar.xz
Files:
 3a5eae37483beaff0bc1a86019a858c0 76986 aac-tactics_8.19.1.orig.tar.gz
 039744dbdb771ceb0ca7543ff9fa7c08 3920 aac-tactics_8.19.1-2build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmbcZJEACgkQLIPbyOm9
DjeYnhAAo/MGL+MfX3YdEfyv//EcaT/yDnUS2AJr+bHjMCf9F27RQi3TK5vRl7+T
T2dYGsjjeidbDnBfCgPumUVFMdjQFm1ITpLxjLhFghM1lVIeFnMBm0KPdGe3wzu7
llJ4T474Xhf2coZYKFvnNxSPV1hBqG23+PjYF+KGQK4nPOe0119nLE1uYKmPliD3
PdS5BHrskMbjsYiWtRAgtlL3G1Lj0a0HcDBj3nZcfU/DsVAdHGAGkG+DaJITKgjd
Vawd1FcNV1MgjjBhwnmumXYW361EXif51t8IGB0AtrUvM9Pa50YanUuTbYijzBGI
yj/8rAmQRWCHuetqjb0YSR1OsgPBSfmUoXmtY737NpnAKs/DfgGRhrjGpyrLuRaU
h+Pxe36a+uuXy+CvA0ZzoC2MmHAtFyUt4QV3OTt7vD+1UW93y8ufXOEUUboZjxcB
YWClw6ZvI5f93RAM8jlp4x0kLpn8NKTRFB72paGT+uN9d7TfZBwJr0BascGdNVub
5IIa9u3CuOZRSqslZtPATQNDjZLcH4RVybA8C270E9DZ/bfkVrL4L7mdVvym+lzf
lhX0pVFUatbSlSemhqBQBImnUGIHEvdy8glnfldEoXM/5TS4khji3f/NmTFHplTs
vzohR+9uKXPO1jM0khcRyrLS4ChgkTPZs6IaCRLoxk9mIlAmfA0=
=p4AT
-----END PGP SIGNATURE-----