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

Format: 3.0 (quilt)
Source: coq-mtac2
Binary: libcoq-mtac2
Architecture: any
Version: 1.4+8.17-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.6.2
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:
 791d696ff52ceef45b12b87c520190abb807fe82 251587 coq-mtac2_1.4+8.17.orig.tar.gz
 75e0a421dc129686d952ecf5fac4efa7f87fafb3 2680 coq-mtac2_1.4+8.17-1build1.debian.tar.xz
Checksums-Sha256:
 88795eb5a08debde60ab1a2eb7c9925fbdaf561e240e3c807528dc84242b555f 251587 coq-mtac2_1.4+8.17.orig.tar.gz
 6a600685a511ef08a562c8662161bb8ee668edd4b0442e9ca0fe266e840eee70 2680 coq-mtac2_1.4+8.17-1build1.debian.tar.xz
Files:
 6e43b1df6988622ea2893491bfc64227 251587 coq-mtac2_1.4+8.17.orig.tar.gz
 7c1841c9292939c8cccdfe9a135c4013 2680 coq-mtac2_1.4+8.17-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmTAq1YACgkQ808JdE6f
XdnkiA/9FSCyT7xJFfZuDxNS/jpgE/Wlf4KmmGFMTUVmikPymip2OEg1WNf+tIz0
TR6IfWPfJv9qmLxs9lrzkIIPj21aCDayCOzDgNz7upv1AyMv/Xevk6R0oa13wsBT
XmmE6UQmg1qK0e4NeWKPlHVOiJvrAfFLe8AUWnWdSWqWUVoaWqp2kOzpxdepUAQs
Crj6c7mWR8l7iAsf4Phrs6mbqvD5XGGQ0qzn4zowNxkPvj7iLsYo2C4mU+bCR1UO
HVbJZfePjhDfUMS4830rSZ2a3gVvCvUognuUuEFRMRIfS+cKdSw63e0R7x/iuK34
pYCM4wMiAFr+a0JpDVcUb4jrxZYPN1zDArIvwB6e7lGb5ZAEcgl8vPJpD90UIFFa
7Yxo4VP/dajaTKHy8KO3hdStFTJF8SgI1dUcMVebXgZyNba+6Ed74ovSdG2a56Nn
iIt6/zLSSLBQzt3HOi0Qm6IPhVMw46gVb9HC/V6EYixNnq/xIXnmF4JeCb/6xrFi
CsIrMhphXktekFx/6YkFXcB3SYrFB3GaR9pqei7i2wPNHBmuxjKwMss66lBT1e+5
nIAVLXfP/xPxjg8j9qsQ44abopKGKPf1cUv1Za1YJV11lVCW8Vi2FRnTfQPG03IJ
AHWs1E2SfgL1Ug45qHsqDeptQgGBJ3z16w3Z34mmIkY5c01af/M=
=D+CF
-----END PGP SIGNATURE-----