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

Format: 3.0 (quilt)
Source: aac-tactics
Binary: libaac-tactics-ocaml, libaac-tactics-ocaml-dev, libcoq-aac-tactics
Architecture: any
Version: 8.15.1-3
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Stéphane Glondu <glondu@debian.org>
Homepage: https://github.com/coq-community/aac-tactics
Standards-Version: 4.6.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/aac-tactics
Vcs-Git: https://salsa.debian.org/ocaml-team/aac-tactics.git
Build-Depends: debhelper-compat (= 13), ocaml-nox, coq (>= 8.15.0), libcoq-core-ocaml-dev, dh-ocaml
Package-List:
 libaac-tactics-ocaml deb ocaml optional arch=any
 libaac-tactics-ocaml-dev deb ocaml optional arch=any
 libcoq-aac-tactics deb math optional arch=any
Checksums-Sha1:
 9f8ffb6e72f80d9fd67431091f69e7ee35b1b19d 68294 aac-tactics_8.15.1.orig.tar.gz
 07a8a09db89028d02c5bd1a8d3d1bf337df1ee78 3740 aac-tactics_8.15.1-3.debian.tar.xz
Checksums-Sha256:
 6072291617423404da8941e0f885dd985ccc8900b085ad71c46cad18f84653c1 68294 aac-tactics_8.15.1.orig.tar.gz
 eac480134c6f136e05028ed91729179b40017c3dbe264447acfc9814c82e734b 3740 aac-tactics_8.15.1-3.debian.tar.xz
Files:
 fea60f95f08be7275914943979c67914 68294 aac-tactics_8.15.1.orig.tar.gz
 bd80959de160c9eb359b027f56f0569e 3740 aac-tactics_8.15.1-3.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJcAH8SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRcM4P/j+YBjLYc37jMNTXSPfT5E1jUv1J1/DF
fHt5exWLBYPlGtGxKWC3MmyUOZpewgVFfxqkbX56130mpRkMKIL+E+U0Z5SxJ/uO
CLOCsCNB0yRLsY5cU23NIBrD0KOgzB019Plr4iDwo8l/Czza2hEL1kE8fwWWC37o
41MiyecH5beeJylvCtOdJJcBKQB7nhs1/qM2HHMk9dH6s2pl54h9Ux6u/YSvk6f9
Pi4lTu9FRiP8G1nUM9zZrcwg+y92819MWBOoM6sF99l2uKr/mcCm8YlRTnU4RBpY
UqmEamheZIrSuw8SR1NSTWFXAS0OMfKVvvrd2wQhq65fI+CHyERzKp1+USpU2eDp
uBNg2hJ9LfHvnuRTOhV1ic1irCml1wJkvR8FtTAoRHGcZnRO3TEXc/RtXrLCFRac
/9jHfxGLJAS+EN5A2mGxV/bwRmOTEjPumFkYfKS7aJ3zZI+OWhvt+QbO1LFjYHX+
SRZUvjgJNbHOyrGhAJFpCVnKjj9+valLXcf4yCe+g5E9R5WSIJx2ujK/8ewIb3nn
H/aGbTANY1a1oy2dc0Ouvj7DEmo4QQxWUQTA/ETSZcEadGMjT103F60qZ56rv04u
lI3F+vqw3OZU2CIacjlrx6RhKuGx2I8GF5YjaS7fjq7YKFnEA/Cso2r2JLO+ThgP
OukEUObeWLIY
=u+f/
-----END PGP SIGNATURE-----