-----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-4
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
 e5b37a2ddefd2093a80aa614a16acaafdbb4a766 3768 aac-tactics_8.15.1-4.debian.tar.xz
Checksums-Sha256:
 6072291617423404da8941e0f885dd985ccc8900b085ad71c46cad18f84653c1 68294 aac-tactics_8.15.1.orig.tar.gz
 7f24227c034d9481d3f8d4e8a5168a0bca950fe79dc6e64d1e949a246b6599b5 3768 aac-tactics_8.15.1-4.debian.tar.xz
Files:
 fea60f95f08be7275914943979c67914 68294 aac-tactics_8.15.1.orig.tar.gz
 19eb4160f0a798e8c0a0f4ad5f9a0c18 3768 aac-tactics_8.15.1-4.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKKcawSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRCkoP/1KT6n4RFr78l/4Hu40wY/qnXBLkwrES
Z5vQafHGWErJ6vWqLGMmdhobdcy23cmE/FK+yl0nuiO/iaRNbEjz4qeHL3rqUCqB
IXeIDU6SznWzSnxaDET9Uv0Fd12mUU47iX+LA+PVXaNVgq8/KYyUdWDK/8A/f2T8
D8FQiYY9iZzNoizjiEaCUSseGMySLwSsnKO7azmYltOMWNqPOS9esLyQHlHaMmQB
hP+v9/sK23f/5cTgHec50nEm0ih8jzZGp7YULIM0ZsT2JeEFPqFaQ08phWszJPxh
kpNlkiJoxnWK4J4lW4CEFL3DmR/4diy2ynguvIKzW6//6Am27dAA8KPWRML9uvTW
Vv92hUXwk4DT0ruR9+XzYq3eTHK4uokIxaewAy19xqnjks/lZIoYTpJhia/Qd+GE
WArtSCjvJoEjeMrycu5pZOYL6lLWgeCCKAAUtioVwj7q9l1tP8FkXbF9Di+6G1lw
x+vAQ4z4t4oNF1KkwiTAszR+hlYcSa2MTiuuCEkPl5hMR1TJF1ZNOrSH8+3M0mOQ
hIygyu568YgN2YrWNPUDB+3mVJzTHfOZjCzy6P5bUCLEfEPi1eExWTBv0CAGPz7W
djpQ7gbpuW37dtyjiJTNy3cYkNsvhkbOec1USMcDbuPn9Nd3Yl1FS8hemkKEdlYz
buUUhPxWMW5K
=T2Jm
-----END PGP SIGNATURE-----