-----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.9.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.5.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 (= 12), ocaml-nox, coq (>= 8.9.0), libcoq-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:
 ec321e13a142833c02741873caf352dcbdb96630 66504 aac-tactics_8.9.0.orig.tar.gz
 acc4c3d00c44df72dfe8c98eaacc37521fb82e89 3416 aac-tactics_8.9.0-1.debian.tar.xz
Checksums-Sha256:
 e9ddb31522aa3075c274b65a46fe204d67762b9efc5c59689f521c8180b70821 66504 aac-tactics_8.9.0.orig.tar.gz
 c45fafdc3e3a69cc4476e37adc27156a151bbcc51ed53dba3ad75aa1e71b8286 3416 aac-tactics_8.9.0-1.debian.tar.xz
Files:
 cfca15da28cd4da73b9b7a6d72eb63e2 66504 aac-tactics_8.9.0.orig.tar.gz
 5ef3d7871b77c8d5a85fc16fd681d92b 3416 aac-tactics_8.9.0-1.debian.tar.xz
Dgit: 1cd48eccaa3a4004a7f3a338274af8042a114d10 debian archive/debian/8.9.0-1 https://git.dgit.debian.org/aac-tactics

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAl423RESHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBxt8IAKy4iYj0GvUOQ82+Jr5isngRzpJwYmvQ
wECbw82tn4lzlnvwcONC8o5sRAkID1y5sBKf0QJJ/hjGhc8h5YS2x+Z+/sfYYNFt
mfNu4RuyncrINEjZEpCF0dnqNK0S+d1rXX8Ocnoq/4SFd8INUBN1St7KIc1OgV1B
kW7DDWcaEnp1v1e6+/3lXA+fwTRNJYMuZ6FMRO4Q7IV1c7IQhNSK1R7OHSfkCaRj
G11/NXSH31o+fAM4cgMvtkGCY6WIsfDNKRYbw4+biq24kFyLec7akWRUKHwl8msp
joQcjHRrRpDaTFoMJa3ygsnzPRACRXqSPWF3CmrigdLKCrFg+3cHWe8=
=0pBz
-----END PGP SIGNATURE-----