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

Format: 3.0 (quilt)
Source: aac-tactics
Binary: libcoq-aac-tactics
Architecture: any
Version: 8.16.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.1
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.16), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib, ocaml-nox
Package-List:
 libcoq-aac-tactics deb math optional arch=any
Checksums-Sha1:
 279971779c904983ce2fd5ae65abacee2638b697 75525 aac-tactics_8.16.0.orig.tar.gz
 9d30833639751e70ff1f49902659ab49b871630e 3520 aac-tactics_8.16.0-1.debian.tar.xz
Checksums-Sha256:
 213c7be5cc4bd03d6760cd29143c50eb9b82234b0f118b25452bb0fb42404d3f 75525 aac-tactics_8.16.0.orig.tar.gz
 8a2e16f268be61eb4d0fe4e46212906d6e63cc83703c1f2b632ef233008e6c8d 3520 aac-tactics_8.16.0-1.debian.tar.xz
Files:
 65aa243398759bb89fbcb51c16acab80 75525 aac-tactics_8.16.0.orig.tar.gz
 648097991576b4eec31f386075185ed0 3520 aac-tactics_8.16.0-1.debian.tar.xz

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

iQJFBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMWIFgSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR8L0P93bvYuzYc60vgR10B7pUkj9RhE5bi8Gw
n1/i+kKpEPRAMPFlCvpfubcWT4nJKaCaZ25M6j1b2Rvt4xeSQOF9fFrQSy8PJYHf
dWEIwzzIXyV3ANh9Fk2v/GxF94nF+f2Mlceo8+T4a3CxHThd2Uuub5/FadpiSh9r
8adIbRgzHc9G9Btrlvnbb2vxLuUAH1+2waux+WvTtcMVHJ8cvcTLFbyg39SIP0B/
bscZf7J83615JCgwtTxnIToWkBSJv3pPwaIUUDBbafJ1TxV/SVW0ipJ9IztQRFrT
QuG2TLLq4/9at8SyUaGI1jb8/BJQR26KEuSINB3omyOD8/rhJrzcz/RJiGTAmrVX
vXeZQjA5dYz0plsHSKV25HDhgdl36EUT4TDbVibMyrZ7ehXvzYeZ5UHZXaCr/33d
2aKvfNct0147+jTVSiucAjuXOBfPWIj1nKwRmFoTwd9gFmXLGFDcUY6g/diqTyVR
NVzvP4LE6izSW5d4c3EVHdVX3VaxZFvbHoaV9/6m+zGNi+FqGKtNzYnoH/hCIKlH
x1jhg1pzs1L1/6qpggIwMVbkCzOD81ICTNqRMgWohUBrILqUIR0fJVL731/SlMcJ
BU14zv6UGzymP7BhacsRmSzcAXlW3frGi56Ji5jFcnvcqbGYsCfgq3QlNu5NFuif
HevRHlzVOrc=
=Ihza
-----END PGP SIGNATURE-----