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

Format: 3.0 (quilt)
Source: coq-reglang
Binary: libcoq-reglang
Architecture: any
Version: 1.2.1-4build11
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/coq-community/reglang
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-reglang
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-reglang.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-mathcomp-ssreflect, libcoq-stdlib, ocaml-dune
Package-List:
 libcoq-reglang deb ocaml optional arch=any
Checksums-Sha1:
 6eee3ed03aa03a1de243b3d76a2deafae5b6621c 69424 coq-reglang_1.2.1.orig.tar.gz
 9a4e8972c4d6efb9aff19a176dc7745d7155b400 8936 coq-reglang_1.2.1-4build11.debian.tar.xz
Checksums-Sha256:
 0a0b853389651827ded42dd3ff21f61d1a1dbf262dd8aa1f71f4be96d9322a75 69424 coq-reglang_1.2.1.orig.tar.gz
 cb2ffbc2b4f60f86473b642ec8f88145f146b8840f3b50d09f0c843be705cb5b 8936 coq-reglang_1.2.1-4build11.debian.tar.xz
Files:
 39b6d7cfd0237d44e4580bf13afaf6af 69424 coq-reglang_1.2.1.orig.tar.gz
 71ea0c5c09e4976216869b1b11983673 8936 coq-reglang_1.2.1-4build11.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmetCCUACgkQ808JdE6f
XdmW5RAAlZ8rs5qsAr+VBimL4Kp2WETFuTAi/UwBgRZiCsckSMoIUQgJpKrXTTf7
qbiD+6j4omHzMMLOVdOomKv/yKdMjPU1p0OxtfWCkswVKc2OUTLmEXE0xlDmD+F4
rcrLNJxnsoJhIeucm5WvieODFDBl/Y2GERABLbSiYW9vp9948YyIIQvRI+c262OH
ep/hiDHyda/Ln0QQ/Gd2h7bi3bF4lADjxr7D9VT07hm5XfqAq7GCPiUXFt/F649R
/9OhKQtqgHFlL2JbjugJelLLfD1XER4J4PvNPJ4AqA6sBtU3QKbBNkltRf0vd6Bq
r352ZTis63nEcjMvxHPFVETnXL0pDcE7SjStZb753JFQFPi6YQ9eC6Wy5HpTflXO
VB65enGy+JuHhUhgfP22zRR9Mw5C8q+Dd93jiqWwbEr6duxUHB0u4+4oyhAMUFTX
iQXeTjDUz73wAfX59Gv5ZWflm0cn1sQk11tZCQOaN8lwCovNCxKLtfPH3s56uulm
SHEJPWkGU7AKgxB/JicIeWXgamU+t0jdQ8FnJI6iTlKVJWmUWX4uTDqAJQctKkhw
T8YgVXv6BWuELYKZJDDvEd8HC4CwNja9GmKH7UsQ0nLGvN4ud91nK2cb0EhfIrZy
YcjNfzrxFUVQV0AaHmZZ8EdEmLpmTEM/PJnVJBAilH7Dx9IdHVY=
=EDA2
-----END PGP SIGNATURE-----