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

Format: 3.0 (quilt)
Source: coq-mtac2
Binary: libcoq-mtac2
Architecture: any
Version: 1.4+8.16-2build2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/Mtac2/Mtac2
Standards-Version: 4.6.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-mtac2
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-mtac2.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib, libcoq-unicoq, ocaml-findlib
Package-List:
 libcoq-mtac2 deb ocaml optional arch=any
Checksums-Sha1:
 e7fd6a872a5cca4940d440bef620b83691217a7e 251070 coq-mtac2_1.4+8.16.orig.tar.gz
 04fbf8dad4e0f3a46e645628d5daa4217d1d902f 2576 coq-mtac2_1.4+8.16-2build2.debian.tar.xz
Checksums-Sha256:
 9595e3919b0164dbbfc6d349d9cf001875cb8afddcc10e9dce9f8e49c26672c0 251070 coq-mtac2_1.4+8.16.orig.tar.gz
 1de7620d8407c722b948c41bf15603dfc106c3687d06d3efd2935e16ffe5b888 2576 coq-mtac2_1.4+8.16-2build2.debian.tar.xz
Files:
 b7e5c7d4a7f3a59713c86b8a4c131d76 251070 coq-mtac2_1.4+8.16.orig.tar.gz
 38c5f331c066856940b6183f8008a1e2 2576 coq-mtac2_1.4+8.16-2build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPvJ5oACgkQ808JdE6f
XdkJgg//UiUD8HaiCf3/fDQjhNA2im2g4Pmm3qtC4NwqWxUSudxPfb25AicJ/LSO
gwnyBRAkqsVb6T5R0lWdX2IczAHh4vL0H7WB/5A0jhKMYB91n8BGXuZhI3yZC04a
E73EwI6SdIsHJ4agH2t86eUn+jxyMQI6dybjkIw4vD4TIYNFrmhsjT9pWjOF+oCY
55o7w5g8uMo+aMsH9NKu88o81V3GKZ0gJHA6FXRQPgJODPgDtDeaQhwHhel0IUlP
EJlPYqFPeOKL/yHpaugugU0sY/1SdlddLBG8OswbI+RWYIvy/HZpe95KLGq/UTvg
yJtDVXKuqr5mf4GHfsBm/0bltmJS90e4y3F5ZhgUa1xjdh9cMLb2XyjdGg0uBVWS
hZLL1R79vS8lzgcgX9tUDGP/YuWRBgfzqqd+IQ7YjaO3xYdPwBTQ73uccgyyIqUB
V1JufCIevCtJ12mXk3yfcAmCFFTChfAM5hFsVIe+4v87kPjuQNgJ2kbxkz/4MwLW
mMZbhrbo8/RRNwy9ZVGOuFP9Q5MAGlyyX/0lEihz3y1Rq3HeWKTbvWB3rmpnH1U3
LXIe4kfbeCcr7/NJv6PSKeiJY5O49JxIOpg5O7a2WIAeM2ivd/CWBOkmMFZ289O8
8yWrDOqQ1UuY36n2c3P7BQQXpNJdx17AAtIKBvw0lauRxJwYC3c=
=cJIa
-----END PGP SIGNATURE-----