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

Format: 3.0 (quilt)
Source: aac-tactics
Binary: libcoq-aac-tactics
Architecture: any
Version: 8.18.0-1build3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders: Stéphane Glondu <glondu@debian.org>, Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/coq-community/aac-tactics
Standards-Version: 4.6.2
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.17), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib, ocaml
Package-List:
 libcoq-aac-tactics deb math optional arch=any
Checksums-Sha1:
 42377897155f135ffc45764eef5c20f9fc896a79 75607 aac-tactics_8.18.0.orig.tar.gz
 61ede50f93da10c0d815ec9bc89ac1dd2e8f1048 3904 aac-tactics_8.18.0-1build3.debian.tar.xz
Checksums-Sha256:
 f86eac00fa0e63e67cfbd9a4a1c7485f521ce00c780223f905648c0b86532a8d 75607 aac-tactics_8.18.0.orig.tar.gz
 36a8940d66a9b8a2d6ddc9ea838493d5812c5670e0c831537bf739020c383221 3904 aac-tactics_8.18.0-1build3.debian.tar.xz
Files:
 28a2247ef3676cb0de64970f14e24fc0 75607 aac-tactics_8.18.0.orig.tar.gz
 35679b364c714fad16649553d19d0b75 3904 aac-tactics_8.18.0-1build3.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYTmREACgkQ808JdE6f
XdlMexAAmeCmOnHlJu0lIrC9cC5YP0HzdlNyxqm1w+TrwvW1AqEQ/Xx7Yg3u/YMI
e/D8pwze/OlRRbCcCYdu7P0voAMAfDnjs/XLwzBBUi12ksaAY650v4r93EewvOiJ
L/CFma2OeZgRXKZ9dKpESyJr1mUueaL4JvnMuTZ5txqvE3AIDVgWF+X8CmS2yEXw
5qPU2G/4RwNQze0kBqPWvmp1GDkY2C/ZHKCkFI+frqHZs4+idrIS08FlEKnujb99
tpIIc4etfV6CoP0t1hgTJQ0FgOFvYmLOcbq6E8TUt+JYbTBaI/CK3nBXd58MjneZ
RWIV7qGfhFKtJxoxDFQafp6RiBkRqdkeJ2fiLHT9/Rmor5Etcg43frvGB1xNE8ok
/wAg7uOUBzZmfi+WAg6HyS4AXmnpHHKtTKUvhJc0k+8CdFQ4XJDS4zfk9uGT8GV3
a6PlOctrTZW7RsJ66/ygN8mMTVE5Ix/DKTxUyY40X9N2L7h6/orddZ0jDLsQNio4
F9VDImWkO1o5wdx6hKJGK8wRpB+2dS5T1cDexWet0M2L02wlRCj6kXzKvX5t/SDS
sRSdB9+J+DXhK8RrJeHmdFsI9F7yu01Tj7C2uzYVmlcgznwABTc1xgZXwwbZFwl0
1NfeJQJIY1ix6AO/DXdRPrVx68FIDlcKErN4ISyppcnO4aqAyOk=
=FShM
-----END PGP SIGNATURE-----