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

Format: 3.0 (quilt)
Source: aac-tactics
Binary: libcoq-aac-tactics
Architecture: any
Version: 8.19.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:
 67ee12c7b87a29fbbac20e3320688918e9a79a4c 76453 aac-tactics_8.19.0.orig.tar.gz
 b7732abc3daeed4f2bc84e216c863dd22f3b5819 3728 aac-tactics_8.19.0-1.debian.tar.xz
Checksums-Sha256:
 a727e256dce5c422af71532cdacf94d0979f6bab99b4b40f351972be0804fcb9 76453 aac-tactics_8.19.0.orig.tar.gz
 adfcb866addda3b0aa03245b93dcb72d7b3453d7fb0e875ae68182bbc22944dd 3728 aac-tactics_8.19.0-1.debian.tar.xz
Files:
 45dca10b9fdc84c3500cf89cabdd98ef 76453 aac-tactics_8.19.0.orig.tar.gz
 37ad19d920c6d762b5034dc02b96e9c7 3728 aac-tactics_8.19.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYHzeMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR4PgP+gO3CPxQthssQsQx9VahKd+0Ery9de3+
Xx4Ul3QXEyv9esYnQRP8hcZHfJPF96s+P1y7jJUHO2QewZLP7stU5fhZhYvArBBA
6pT5w73A64ie9bcX3z08Qkz1LkS5xv9DZnF8V+PqvIPJYnlW6xxEe83jqi6k51Sc
Xytl2tbCqGQbDtWElH9flthLfSA+v6x1R9qsMXoYTqTwp9yCLWzdSFAVxxSZe4Qx
0r+JVRwAYMITUkZtKHCwoLnyUl5kvXuvjHWsy+lTbOIO0TL3o7bLSXGJcXJGsQtX
+E7j38X2NhB3lCKwJTqVCmZTNUUzpSufjv3iSVi3l5AUKxTf+7cJ9hEnO8k9i8xk
KYQxn/5w66QbMdh4LLMV5pRHSyNXRM+FAUXkoyPI6ZBxQC0hSZpX52BCLoxXhbcD
3/LGScQOMFvL+UdMYZdbHKxOn1flMKoW2vrQI/sL45FNZM5peJMyuHoX15l99geH
0dwnfXS5d3Y1YYJ8KIzR1T2pyzpmQA0Ne+05Ic9SoyyafxOxuViur+szCMw4eD06
3ICwDFKoDUOk9bufUyVbKQpe4/ZdKmFWWURXuRRRlbBDp/tkxfslIMoSFND7SH+s
LhqQ9qi8f9QdUEHFp3G+dFtVBBTZYv4OHFqj1MiqlOs3QzP3rk9CG+hiv91hexog
bDxzcHorGD8w
=wu2o
-----END PGP SIGNATURE-----