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

Format: 3.0 (quilt)
Source: aac-tactics
Binary: libcoq-aac-tactics
Architecture: any
Version: 8.18.0-1
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:
 42377897155f135ffc45764eef5c20f9fc896a79 75607 aac-tactics_8.18.0.orig.tar.gz
 e3ebf5d73982c549f398770e8edb0c149917d902 3716 aac-tactics_8.18.0-1.debian.tar.xz
Checksums-Sha256:
 f86eac00fa0e63e67cfbd9a4a1c7485f521ce00c780223f905648c0b86532a8d 75607 aac-tactics_8.18.0.orig.tar.gz
 90a1e66c3cffd5dae2d500eeb464368dcfa74293835dfdb00e7cd058461cad0c 3716 aac-tactics_8.18.0-1.debian.tar.xz
Files:
 28a2247ef3676cb0de64970f14e24fc0 75607 aac-tactics_8.18.0.orig.tar.gz
 28f9cef8bba6cace90878abf8b57e72f 3716 aac-tactics_8.18.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWESdISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRrfMP/3AOZ0voMhlXTC0gMmQfZmrok4RqhcJO
BiY1dfakfZlRRHZC9pP48ebf7UUVXzqjAwBlDfeTVvLseQq/qh/FiOQKZBKUPcU0
pXuF+ygcisMN4BAx8YrTWfwIvFcFu/3h3x+luryn6nbE4c2dlaPNttlChVgYTUEi
MvKgug7+mfB9iGMsQnknyQB1MgYia80/IunfxL6H4mCWArk4pMrFItq2dx7h/zT2
dRsOH6xkgMd0S9o0K5iKL/7C9kmVAOCDnwILAWAkwXUXxgqQJje8F32zJJWjyFGS
lm0RAchevMGyldKuo0YlZJTbtEt2jKItBUpllQst8HO6p2+cttpoMNVZhvftQNyC
ObtyO2gSwi54J9lobO/857DnIBfKC2HHtijYPQzr8dDR2gHIlbDrSfDxz6V9H4e3
PsHT5Q9XPGa8qqXeJubv5DusStaKNwOUktHgeo7fLXxafdRYC+coTCtB8RydJnNT
+OugevDH96HE6swfW05rS+fAmS7xqKPrQVUxjZOkkPgmVTbjpeG09S1tVi4cfoil
KFM6Hc3SCntrTrS2QbwXGyLQnzK6jvNOpm4CErmSaSXihVUN/4d/3B8DKB3/iTc5
HLvBhZvilNEwFq9r0ixKOl9ltmoxUgS/DRc0tBDxdvRkgCCb+C2gQwX3Y2QvLwJA
5SELSwV9bWOn
=oxzT
-----END PGP SIGNATURE-----