-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: coq-mtac2
Binary: libcoq-mtac2
Architecture: any
Version: 1.4+8.20-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:
 d64ca8604cd4bcb89518d6c81f96422fb404ea7e 252390 coq-mtac2_1.4+8.20.orig.tar.gz
 29c8df8f2d5f5a9c1faa2a514d18127201477071 3040 coq-mtac2_1.4+8.20-1build2.debian.tar.xz
Checksums-Sha256:
 7186069de5599670b37e58f456c7243520afa997668278ee1eb3a2ebf14eaed3 252390 coq-mtac2_1.4+8.20.orig.tar.gz
 780e199d4c518ad108ffe09ffe9b028e3e6bd8a585ab5264d0ea095040455a72 3040 coq-mtac2_1.4+8.20-1build2.debian.tar.xz
Files:
 b2f719ba452e18f8c309f5f69074e640 252390 coq-mtac2_1.4+8.20.orig.tar.gz
 ba9b8c092dfaaed810ea55153b484612 3040 coq-mtac2_1.4+8.20-1build2.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmeeyNIACgkQ5mx3Wuv+
bH3CJRAAoFdJRUhJiVGcHFluRbEg3Ym5r4unBnO1gVJV+1CPYZcZAuXZ/9CoDzMR
pq1lXk5MldHtkeBbsRZs2trbfFd721EI4vRSJyN3b+W60eU72IEDA4rvF6yJo0+q
kdddGjRaS6vILs1gduID6mJHUBNh3z4np3Zo/8Nmt4iQtXzJnxxb6Zr6iiHwzFM9
GO47Ej9P3bTTiUyqOg+FhFQWGSVtKcrW7RHyzramciFU7h2EGH3kN+iqUbkMRYag
ifmBQj8JRPUqTd0JVMtAnHnka3HedZncW5iyAs2jvUKVI6aXV2hDLJuY8rAybCNk
WppfuAkWx2qtc8+/KjsKh9NCaym4bCjRe9LKDsM+U3u34otYTER3C7aVY7cGOy+R
KQoUP35fhZsxJvWFUUz3EWFOpWNAXed0/rd6So6AmOlr7tDrXWjXBOz6xfNrBRlf
YvaK8Id1HhTMq3TQjp9gYWmbu+ynlofwQJ0Fd2kgTdeVbNGMLi84pCfPgwz5GQmB
k5IEq75N8FxWqJqqBPBfec6N0+AxIxHH2Tru4tssZizSQLuXkB74tUqrDMEwp1+Z
PFoFhwDsctAd3eihLTTptyaVn8Ac58B6/9CS09Zw2SebLRC3srwlM3TbCwxipPXx
kXaJmhtgNBn2QdP8/vfUE1Yhvj/hb1gww2TQkvFb5v47ZeCUWGg=
=ArXi
-----END PGP SIGNATURE-----