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

Format: 3.0 (quilt)
Source: coq-mtac2
Binary: libcoq-mtac2
Architecture: any
Version: 1.4+8.19-1build2
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.7.0
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:
 a7b7758bce394cc9d0ca99a4929f4a4f3316462a 252242 coq-mtac2_1.4+8.19.orig.tar.gz
 14942dc2baedeb620caebaa18891692b926647d7 2872 coq-mtac2_1.4+8.19-1build2.debian.tar.xz
Checksums-Sha256:
 7906a4302bbed3325d766f1b1275303afbc660b8dcc61870924fcf56b04e0d3f 252242 coq-mtac2_1.4+8.19.orig.tar.gz
 7d39ff12d8ac50d6d4665f407882f753cf984725de12b5e07e3e1d3ebf3df7fe 2872 coq-mtac2_1.4+8.19-1build2.debian.tar.xz
Files:
 4d4d247f672a25d9c8b59f9f0ce38d99 252242 coq-mtac2_1.4+8.19.orig.tar.gz
 30c577deed6ab439194b95bfad2ca00d 2872 coq-mtac2_1.4+8.19-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZtp1wACgkQ808JdE6f
Xdm7NhAAzhedpk+mUDAHRaXVK+SyI4Rl8NrkexZfRIUNyrrGeVrxxUN6un+LqNJe
qJ2Jh5is8Ldy2O6NbWa6MWj96dAnETc/FGboA3EsnfE4iysD3l1nGzW9PNKvxpuk
RNJMcyCL/1YthYIx9PRan7Yf3l1Q3GNY+ZhyhhNaxY7gIJDRp2iyd0s0UqlD4uwi
CaY6rpmGe47ImVPwHKb7HTNdSnV+6KjFCGBoF7v5joIeN3ik8dCXfvfjaRPtB9B0
TBaqGH0pGSiD9STwhDRk6/uJhNP45W+t2T+vR6YLrucF25wIF7H0i+qPluWpsPpK
Ew7qsBEecmkz/IHiMbfvDBhgXd0PLMcZZ1/45KNZZEgMpMGgvXJ0kmxp3mPqI2F9
ebuovWFooiUVWc6+cxrH/sC5IkZtSR5de8pW2lUdi75HIxKJINWcUz0tRppWH5tq
pwtuGnt3qAae8XFbp8JX526+bM0Oc2037jF8/HG5vBA6JFrvz/o979dvCuBBY0js
jecSVvB1I10027qUMPZ8SIAoOTNwyxat7fAYazYaOklV+NuR1lAPbvG1BSlVwj78
hzVEcerMi3lH9fh8jxWZI29vAlNl/uXO3NcImzD5RR7ivDtYb3zfZIOvyeehZKqz
ritX+FB39y7ngCPKGP20JKQ5GVFZiL/0vwkTFweePc5h/izyStU=
=h/H5
-----END PGP SIGNATURE-----