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

Format: 3.0 (quilt)
Source: coq-reglang
Binary: libcoq-reglang
Architecture: any
Version: 1.2.1-4build6
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
 cfcbfbcaeca89f5802cc11bd4b2628e599a320a1 8828 coq-reglang_1.2.1-4build6.debian.tar.xz
Checksums-Sha256:
 0a0b853389651827ded42dd3ff21f61d1a1dbf262dd8aa1f71f4be96d9322a75 69424 coq-reglang_1.2.1.orig.tar.gz
 9ff1f4a5f122aa6fc16104cf4196dc0719dab33b2e53783d08e4822966e7e7a0 8828 coq-reglang_1.2.1-4build6.debian.tar.xz
Files:
 39b6d7cfd0237d44e4580bf13afaf6af 69424 coq-reglang_1.2.1.orig.tar.gz
 0a52a742b2383606e0273859ff74ea80 8828 coq-reglang_1.2.1-4build6.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmc9A0IACgkQLIPbyOm9
DjcpcA//WXNvB/64mxvnaYa/mYM9d/aaXWxSXNjq2B2jFw4m8d/WveYZbbZOQV78
bMlA2ykyu8TqjjTyhwuRBJV9SXHbAg1/WvZkY/LkSPSYFHLk6+yN2UEd0QTcB+bE
yWSvFdB+9TIgaL7iwBN5cT1Jg/2Sd3oozc4M6EaGa1XVlY8qu/w4J89ECIwsb8vb
VOkNISPLLI1IhaWZ68JjcJXBiIQOplJlg6/Q6l1m7F4Uuy0kICKjP7YvW6AWgx4a
3upTkQKn46CEaF0TbdddFQ6MZ8Gh2UHs/eg/1crP6xjUyfHjA7Ajq8cDM0MuxbN2
qjPU897ieAuUVzwHDMs0DTeYGvTDrEbCi1hgkzV5Vz+gI/K5BZFaaKEoVAvTBHIP
TQcfj1GFKnJi0eAxtTAD2LWnhu1wFrdFwFnrsNmOzIhK5bN0SnWsJnwlWXKlbC1y
V6EBC/kDc8amxshqrtLVpGvB4BbNc/VKuFRCCxPF4nmiY7/uG8gMYj+Ufgdf6Psh
OAmKfCkNt7OQGlflLqm2DzDrZKeQloRwz3C5ctia903LTE6xr+IdIua2wIi9Q03N
zMqLHfFqn1cgSHVtEYGE6YJgLv6CGrxct+Uhs3gwSfQjPFBjut3MCMfai0/5l8hW
dP+gz2wT7vkjMY6lNSPIM9EpF4yWHZBiRSd2dLPp+W0OBSobJFg=
=AWkr
-----END PGP SIGNATURE-----