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

Format: 3.0 (quilt)
Source: coq-reglang
Binary: libcoq-reglang
Architecture: any
Version: 1.2.1-1build5
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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
 9b4be49ddc2c6efd182c9343aaef5b829f0b8eed 8768 coq-reglang_1.2.1-1build5.debian.tar.xz
Checksums-Sha256:
 0a0b853389651827ded42dd3ff21f61d1a1dbf262dd8aa1f71f4be96d9322a75 69424 coq-reglang_1.2.1.orig.tar.gz
 c71c417dea512d3b3c780efa3d98d0240b0e3aafb47f47e928d682562125041e 8768 coq-reglang_1.2.1-1build5.debian.tar.xz
Files:
 39b6d7cfd0237d44e4580bf13afaf6af 69424 coq-reglang_1.2.1.orig.tar.gz
 2171dd44355e713f8245a256b4ab342c 8768 coq-reglang_1.2.1-1build5.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYTmXwACgkQ808JdE6f
Xdmm7hAA2qTPzt0KpUz/0Ur/qf9IBPZALgIGJxKBRZolrNefIFjGFA/O9Aw+mGeB
KXLC6qtIcJ33nuuRjAw76EDLJeCDm04DjBIbISt+KF0zTIEKLVgEcyeRrwL7Q9zR
0MdokM7Fuvgg28XuFhqP80qrbh1zMaOZhmEUQYs9jGf7XSG2SMyr/tNOkZhlgKZz
2kIA7BNCs44NNYBOyEGKMbVO5fBEKtcF+UnkRdkSyibhd6YTZmwIhX7L2rftwfo4
DMCfdqdN95GKLvtCKPPNixi4sBzvXNcN9Xb1nddCVmbaBw0KOzPm3EPaEhXoOHtZ
Kyp6zoAUlEI50efHOYp1sVZmSEbh9/iOrFrUKx5EHm+0E3GlLYvSQdc4fowOa4Ew
D6XzLHxF3j54tQrdsI0KQuXuuVYpYTHu8mpBYLSRayTk/Ra/g3dnHJVzHHNExJH0
MFZB2vlAG3g2yt/XyBTH/UI3uCGUoufUWNmXUF0evpz+itHoVIgB6iVJ7rZv/uFn
XYwIwNcoYAo3nFqxj4L1WyYyOx60BEIiZZdkPQHHRukLT3C4takg3pbcaCw43cJd
wSvfgjRE/r6f3WCagyj+wfZLhXbVpsgbBckvNJI4r97lTpM5QbQEcMt0FKswBai0
qaU+wAi90SsLbaqxbO6Gp+pLJ1iqSmkF0x2omAN1YqZf3UGrmcQ=
=oI+8
-----END PGP SIGNATURE-----