-----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.11.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:
 c2b8f120640800814d756f2089261a07bb6d42d2 65363 aac-tactics_8.11.0.orig.tar.gz
 22f6715423d1d7e4f6eb123f755976e9d46e085f 3520 aac-tactics_8.11.0-1.debian.tar.xz
Checksums-Sha256:
 6af3a80e7c41cda36193236e5b2640beef33acdd8edff82f78592e92e58d547b 65363 aac-tactics_8.11.0.orig.tar.gz
 0b24fb1b47e31b2269c2ac01f263c22bc324c8a7d7723ccd8d8f1cf477d2724e 3520 aac-tactics_8.11.0-1.debian.tar.xz
Files:
 7bc607851ba634e160597e726402172e 65363 aac-tactics_8.11.0.orig.tar.gz
 a643e5c4c2a685ad06dc6aec1a3fefb9 3520 aac-tactics_8.11.0-1.debian.tar.xz

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl5w9eQACgkQdFxHZtTK
zf8laBAAjrsjlis2z0PA3umedfwNxJHSy20B3sZyzNQPORU2U9HqY7E9/FY2vG73
gtWkDcc7v4SNGH0mxQlaBT3DaCRN/z8KO8nz81VfUFGfuIcxdqNho05QRneNNHUJ
FKzbVhgTQVUgUquD45qiibyFvUA5Ouypyp3PHRCHPwmxu+4ncHvHSz9ECxwxCO+f
Gyy4Dtesu+Pecq9niJRqqiiM/5H5v1Otj7id8E1XtkjrScGtBoW2EP6cydk7Y1t6
nObDh3mU1VOMSp/deiuQUDmnYVrCjT1Epl8v+VzJ4gs9Hga9bPOStqU6W3cNCeq8
Z5VByTIFUY/HUxGRzPvX/kCQEJ0Ofw/PAvRi0QsCavgL5//ic4UnAGS8zPVjwB08
OnojZL5V8c3l8jliKDnUsP81gdOQILwantnO54M1ZzoPTXNwfuEict1IGzJ1gSGz
TwT1sFDcXcb8ivnYqIL8L4kePuyGFC+qfwgWNkXrEiW6v4M/m78OThjozm41QM0m
DBmXQGCHC6lnPjCG+Kd9ZwzWTmYimBqoF8w6Bx5wV14EIsPyIyP34sHz9p9LWhDt
i2wnv9fttVW9SFkzeej5ogrkb7FYHG552sieLmw2nWbZPEuDpo+IKsjNImNmbzen
32YEIzsL8i9WccTjLYZ0ZqWuqBhVsQxf4i7TreRPFqlGCarWTmU=
=aehl
-----END PGP SIGNATURE-----