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

Format: 3.0 (quilt)
Source: coq-mtac2
Binary: libcoq-mtac2
Architecture: any
Version: 1.4+8.16-2build3
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
 32c17a1fdedc5fb62c4bcb50039ce4de003b4df8 2588 coq-mtac2_1.4+8.16-2build3.debian.tar.xz
Checksums-Sha256:
 9595e3919b0164dbbfc6d349d9cf001875cb8afddcc10e9dce9f8e49c26672c0 251070 coq-mtac2_1.4+8.16.orig.tar.gz
 306dff337e0733af9cf32b1e1018f58570fb3bbe7051b79977001d2da48a84c9 2588 coq-mtac2_1.4+8.16-2build3.debian.tar.xz
Files:
 b7e5c7d4a7f3a59713c86b8a4c131d76 251070 coq-mtac2_1.4+8.16.orig.tar.gz
 2d3907701f8729163aac35dae913a469 2588 coq-mtac2_1.4+8.16-2build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmSILH4ACgkQ808JdE6f
XdlP1Q//X0jRthddv5cSSk2bqohk25txuT7zCqP3IES3OozoZzQA+UXvRoIcSBPT
0qydrmX046p6ZXRa2lrj1mn4AT4bm2nVWB+S8FCI+uNPHQMpK8adwGsPGNoeKD3k
lamVsSbuJur1CJx+pCRqv7Dmc0Fo2heypapRn1DG3iafhpBHM5eTCs5DFrolfKym
ld1rNHYbDL7PSWBRvxsgDMwm0kEfFJNq/70OtdKhI1k38Qx076sP0HEY1hS2dXKu
5EU7AKPf8EBy+5oBiWbV3yRyuHfsDLSl8LHunxIGBnWnZd/1fVC8QAt8nAl/Lx7J
P7LKWt52I6fAn1bVpxIBDlZ0zcrk2ZNnfKI8nic/1MrUdTDxfVatAeQLmjNR2eSf
0jIYx9Om0UH3Dt6wX3CzldY+PwAf/4bXIl98uIvQ2qof+yzorXpexSN0ULaEbAO1
UMzq9WeRHJxcpNpGmKcnrDZoGMuks9UQio6qP6KuxNBrU8NGU2nX9LY5auCaZ1x0
oXw+gKX1zBDwkmgmL9qEg1OHVpGn7xs+D3RMxETDGoe7ZTQk1vOL8IJ0zt2FlGPt
07UCuUC1zKefXXerokxVPSAJhqnf8rWARgSjsfHkFScaTZCz93/0E4mDE4yVuE15
LQDSK6kwIl2olLp3dCjDb9AXzhNsvBvPNNR6e3hJ7MAXTB95zwg=
=zs3h
-----END PGP SIGNATURE-----