-----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-5
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.1
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
 9d1f9b382e2923c7d718c6f61ba1b2e541cf9f3f 3804 aac-tactics_8.15.1-5.debian.tar.xz
Checksums-Sha256:
 6072291617423404da8941e0f885dd985ccc8900b085ad71c46cad18f84653c1 68294 aac-tactics_8.15.1.orig.tar.gz
 37858864ec9d47d5802e2b5bcc95e7b8bb826c013c4bce9c4cb589d2dab3e7d4 3804 aac-tactics_8.15.1-5.debian.tar.xz
Files:
 fea60f95f08be7275914943979c67914 68294 aac-tactics_8.15.1.orig.tar.gz
 68bf56919e10b2e5f1255876e71798ef 3804 aac-tactics_8.15.1-5.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKXZA0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRMBgP+wYh0rNsq/zejVHqG6/vJJYocEXYGK/Q
ookjLkpC/Dr/k89+KEqHQ+tfxwA7a7i65ln0RHD5lDgC5PeNdZK5TY87BHA1hTki
6sRzgwrURgHSrW7e/vLtkwDvMcRojVaPPk0jNXhq5HXzT27w3fMJSnhsKHX0pwkx
JVCdGLC10w8+rf61P3CeRVNEroTB0V1I5XU/WpgwP795djCtWzcWlkdswR1NkRXr
PexV086hb78B7AF3kACIuAyYV6b/hRNJjU0MrtWEoCZw7l8Ieg/T1qv5OSWiKCki
VsqPf9RWW13GXA1Eb3ujPLfcaG/YbSHJiFdM5hlEdxCtQ3mbxMjZHccU6ddkIg8n
gGwzI/b2KtKfm5oEtrm7QDIzb605RNxoezFR93w4szLPFF2Y7LqbzoXwlDN2xq7T
D2RrfMHi0i3gRR3H7n1m0bBd29FLn9jFF+C3NaWa8AZxH43aevlqgavuMyPTDsVI
JFW3FzgSQHefxD69hCZNkdoK9IfH4eaX+9ie7iYpFFELgF2bU7SC32i0LtKRZ9yi
GRtmXQpetpk3aZHVCbYqAMJIuyy8iBvignrvp+VaYktZUJokxp/Z6y7VHgNwEkFc
UWqaDjOLqxetavygpRk2gmVF+bXmo/6ls6SktqbHoIBKAJqy7HMJVINREatIgSj2
/fjf2Q7cNKVy
=dhoN
-----END PGP SIGNATURE-----