-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: aac-tactics
Binary: libaac-tactics-ocaml, libaac-tactics-ocaml-dev, libaac-tactics-coq
Architecture: any all
Version: 8.8.0+1.gbp069dc3b-1build4
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Stéphane Glondu <glondu@debian.org>
Homepage: https://github.com/coq-contribs/aac-tactics
Standards-Version: 4.3.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 (>= 10), dh-ocaml (>= 0.9~), ocaml-nox (>= 4.02.3), coq (>= 8.9.0), libcoq-ocaml-dev
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:
 6a348aec1983313a9341b874a960a168758731ed 65943 aac-tactics_8.8.0+1.gbp069dc3b.orig.tar.gz
 2f07de661c04076b07e430a72a5090492fad3c7e 3632 aac-tactics_8.8.0+1.gbp069dc3b-1build4.debian.tar.xz
Checksums-Sha256:
 2a4273bfcd7be376077c8160f949272e0028b66d69bfaddce66129b47267a95f 65943 aac-tactics_8.8.0+1.gbp069dc3b.orig.tar.gz
 2892a77b83ecef757e7c447da14fd88c711017246fd758394db28b4d6ff8e4d7 3632 aac-tactics_8.8.0+1.gbp069dc3b-1build4.debian.tar.xz
Files:
 622e53bb329b77950b4083d5bb76fb0a 65943 aac-tactics_8.8.0+1.gbp069dc3b.orig.tar.gz
 e3be4e7852b5c3fa209677654a98a932 3632 aac-tactics_8.8.0+1.gbp069dc3b-1build4.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl1deSIACgkQ808JdE6f
Xdm/Iw/+JDzkMUolG4HKfXj1ypRPBIA3PPizQZagnwLwX89Za9/uShyTeVsTiVKj
bO1U6YdMBjCDjTw6JWZ+/e+CEcz4LHwV7rHFy5zxIxXANgVeQLpffOjqvphdY5cz
Cxh8SlIs30F23ii9NxGM3g390Me2LTQu5sHP0r5X8pJOiV74sHO8+8U4eq0IhTe4
22ykmWDaMtslgHmUqKSHU2XQf7BV+lRmdMRqG/0C/zTmNQ70xEOk9SKeThcogp0F
n9MjyAU6xJI59wumEe8NHNBnBfgEnDEuHzrj3Un4NS8EviSGCPMQ7mipxf9PlZ0v
Oy8xt2nBKGwDBfbJkCCVLYuH0fm6NRp1lJlq5FJoYoxgkGLctMLjwYKgL+Xw5OFK
IfwDsP5F4+/OEJNvX0OTeJYs6qVESH287vSebko6L9FDn/fiUx39svWgzGbi+Ssq
ASIFlnIYEZpXhxKwJDLJNMoqnNfcM88A0ewgPT8yOxd53hIYxsmoDeNDMb/rGDHl
8v7YIm905ChWHqdPTGZicI/Blfa2Ty7VpTlxPlMX5k9IBkBcFCD0Ch6AAJpn5DUc
9uWD1k7TYm1370PXRvgu5UOqiQQUyrpKuhoOzxpw3zAjKRtRUOZbgDHP8jwyQp2V
B8B0q3ABE0kE+sw1c8S8WWXIH9NK8PVmKxM91IXG3F9zaPNObIQ=
=D9md
-----END PGP SIGNATURE-----