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

Format: 3.0 (quilt)
Source: coq-mtac2
Binary: libcoq-mtac2
Architecture: any
Version: 1.4+8.19-1build1
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
 9482385e49a1b9b49bf96e0d30fd7e87c0f6fa88 2860 coq-mtac2_1.4+8.19-1build1.debian.tar.xz
Checksums-Sha256:
 7906a4302bbed3325d766f1b1275303afbc660b8dcc61870924fcf56b04e0d3f 252242 coq-mtac2_1.4+8.19.orig.tar.gz
 c7b7cc7844439ad489a9fc59e82989890509778ea2ac402f0264a3a1c68e8252 2860 coq-mtac2_1.4+8.19-1build1.debian.tar.xz
Files:
 4d4d247f672a25d9c8b59f9f0ce38d99 252242 coq-mtac2_1.4+8.19.orig.tar.gz
 642e3333de4241130a2e46eb60bf1649 2860 coq-mtac2_1.4+8.19-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYz89MACgkQ808JdE6f
Xdm2eg//apm7m2DKwOvTpI034PoexzP5JYa9lk5GxhdqRAPmtUDNrnt8z/KNNKM6
TwQxxCZb1VITcHl9f7d02333d58wBWkY7ypyCGs8v50CgLHib6GPCvA4vFv5p4cI
MC0/gzdkBS8QaR7fbzaz3YWfgxpoMdJlx+rnR1vM1QKiPrQ6kiOO9TpHD2qcw9EE
mchKdABRHqA/3S865J42/0mVXdYcu4gTaBZlfqelNF/SErgIS9vwhFdnWzbIKvvq
WOm4hRHzTZjk7lju+bcmDTNB+yBWwB+TF0UEReWu8XVxdkBXri54ZMCTWf1vlnYn
GrHid+2lpZMHB5MJTZ6HzwRKX/9gouU6lACCoV2t6TnwniymXfrF7htz+wdeOIOy
4U0iqQxzXk2sfXj3Jxd301ldc+iUR7lVXfFCk2NZ4QjrBRi/kEDabWWvelqVyJwJ
cdnlIa3xmSPNvdyBcIWeJvYJOAHZK6gfDFo8xMwe51cL9yKaErscm1i+SfKsK8rd
M5AC8BComNfyzT6PCJ0cjxLsMdHYHh2OZ/Rf5k1UO43n4hz9l8wCbNVP4AeVACbd
YwhZ2GGvGQgE3OATgRRCqbEAA7g8krnG7dEh+00Nq/G4Ka/MISfAN6pqhoyJiQoX
PNqI6rFOqw5JnCACJIx4dHBmL1E1WZ6mzWr5svunk3aTVp+ZmOA=
=2vrZ
-----END PGP SIGNATURE-----