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

Format: 3.0 (quilt)
Source: aac-tactics
Binary: libcoq-aac-tactics
Architecture: any
Version: 8.20.0-1build2
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
 15cf192440be15fb43ee0d600768fdd12878f4d8 3892 aac-tactics_8.20.0-1build2.debian.tar.xz
Checksums-Sha256:
 91c14a2154e2205e934cf4636725b735474aeb824ae3ad5cfb3e19a0b2b0f67d 77668 aac-tactics_8.20.0.orig.tar.gz
 d95606a88e3ca41c71d086016ef003d7dd20fdf41517a83fc0ed1a23f15b175c 3892 aac-tactics_8.20.0-1build2.debian.tar.xz
Files:
 ed2f78c3986c5c92964e218d5a02cded 77668 aac-tactics_8.20.0.orig.tar.gz
 a493fe14d413b46e083ea5fcc204fe1e 3892 aac-tactics_8.20.0-1build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmetB1YACgkQ808JdE6f
Xdk9ew/+MilomhoRnXwU8YDy8fW7EEMzFbuuAncjC+nvKxXFPFLklh6iPQvMK1k0
J+Gvb8WNQ7VVMqED5ci7uBUUf+wfg85FkJ7eHkbWD83EugfQCqf5yujrSuD4DZBg
molb3EvZNGeB8dPDg8mkG0hAsjoRfKflppmdj2IfbgiyBgsfH9OrYACd2f4DupoY
Qus9w/kC8Mr2DfqcCN1hVj4Tt78+84ExvAxpqe7d1HgDwx5DQdCgCwHoga23J4Aq
vRjyDcuStooQcVSxPN02TPSja4obtp0y8XjNWTGDyfUMjLzbgwk6ajXCmXJCujzg
2yTmMvsITHDjrtCH6Q/GHArhn8NOFVb7xrbez85LrkUZ17VYvaX2ukXdDjbJkvGi
wwOmyjA7YLFJSfsCyp/yiUBJKfRWEIk8WbuGecJFv1/1J3EwBoVBZPefIWNVKu4z
iWJHtjnLv/tV3JzNm7iDDOBU42PSxhqIYMwSXLMyXwHnMKzjM98H2SrItYEvBdGE
x+GToNGubalWK0BgM8i5gxlrgKxTaOru+XxQdeDf3IMTbzjURt7pGaYPxTj3BomP
VIUBw/pnORoL2APlDc48zVe5qSA+G/avKIL+iRpdedoWTzt9AEpQQ3gqDP+L5HYj
MjrQCbQzx4Qc2mI9h3Pl62MvEo3SIivDpxnMpkUFIfrcg+macIs=
=S42Q
-----END PGP SIGNATURE-----