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

Format: 3.0 (quilt)
Source: aac-tactics
Binary: libaac-tactics-ocaml, libaac-tactics-ocaml-dev, libaac-tactics-coq
Architecture: any all
Version: 8.15.0-1
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-coq deb math optional arch=all
 libaac-tactics-ocaml deb ocaml optional arch=any
 libaac-tactics-ocaml-dev deb ocaml optional arch=any
Checksums-Sha1:
 b4b8655f441c229d8ab58cafbdff67adba8bacd8 68103 aac-tactics_8.15.0.orig.tar.gz
 ef72f2ad16d9df33c43a696e93ae0da0d9dd6cee 3600 aac-tactics_8.15.0-1.debian.tar.xz
Checksums-Sha256:
 82fb23ce42de6892879e9aa0f332de3dae46c6ef4bc65755f0603010701bec29 68103 aac-tactics_8.15.0.orig.tar.gz
 5ce738ca387f0a64152f86ead9234222e418d71d0eacbb027f156331a37e7858 3600 aac-tactics_8.15.0-1.debian.tar.xz
Files:
 c052e4cadc3ed5c5c78cb1b245ae6b66 68103 aac-tactics_8.15.0.orig.tar.gz
 f172c383d9101d5abc40fa8751380d54 3600 aac-tactics_8.15.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmH/xXUSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRMmQP/2q8UPAzWlpFzsP4aZ1jl5Z7shglNFTY
11HogBjH8+MrRGICDxbG3j+9UyClBEHXQJZFGBbLAx39+aYKLcSeYkD9uIKgRskE
EDxWGoHmfWQbaVLcSNLaKW1U/vNMJK4Ii9X6hzc7SnOHzFSu2n2iCp1X0z/qkj+4
COcwM4/+WKW/UOITCcOSeQOrXhpQZB36BkvKFifNbOdCkSxo2WB0z/zQAOfMD+1x
kHD62S6adicK69JiKc5sUpMpdT/EZq4INCtbXT8oi+Qyiq8awKm/7Bnlq+9mIrxd
yWRIsr9am0UMLZim2fmPqCK/1zPLEpB9oMoNVuHORyBFrNf4h56UqaI/UhIvdR09
6qVzDnccWDMtc1kiyLScuoqKYtF6Aa8eS518MMwIZXybDTt5qVhgqyqOxxvu+kl0
JF9+b9Tnt7frRmkoairsE6rh0CVlBAogeKpyKhlTJmBAtUnD0nBe8yGXoof3MWqf
LaDpWUcR2LraQ0uCpImhvkNW9GyMRcpzGe/SZ5596FHQmM82+CyrEAY+R7bZf4UE
Cb5812r884X6oiGw0IidUwgUFrIit6Lcv/pIAHjCRJPaBMh57zt9RVGmWqmi90Qx
JJmkH9RNC/0kLRi2JxQuSjwUDJgiGS5672IRGwG03kJIHoUsmjrMhnHLcUyfeTdv
im7uWtkr8fXw
=gzWg
-----END PGP SIGNATURE-----