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

Format: 3.0 (quilt)
Source: coq-reglang
Binary: libcoq-reglang
Architecture: any
Version: 1.2.1-3build5
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
 b4bd58b2d6a358ced0f229a68699433cef92149f 8684 coq-reglang_1.2.1-3build5.debian.tar.xz
Checksums-Sha256:
 0a0b853389651827ded42dd3ff21f61d1a1dbf262dd8aa1f71f4be96d9322a75 69424 coq-reglang_1.2.1.orig.tar.gz
 c5c6bb0fc7ee80b9b27396aa47e302ab1da230d99d71618174f55ce6d150375e 8684 coq-reglang_1.2.1-3build5.debian.tar.xz
Files:
 39b6d7cfd0237d44e4580bf13afaf6af 69424 coq-reglang_1.2.1.orig.tar.gz
 543257569446f70e3c92f84a43fab4a0 8684 coq-reglang_1.2.1-3build5.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZtppgACgkQ808JdE6f
Xdl+2RAAgVGVFvidtdVwqqJii/F/PRHwfGb/DGo67sJ0i2LvAMeUfUrsksSftkFs
WfXFgcVLsFOriKMKajZXEhgha2JTFZSqVFgB3z9gZpW0+IhSQqunQQgLEcu2Uvxq
kGOyl9GUgS5DvhAcP9Qaz095SPVztU8bFidNcvp8ZU1uG8Zqva76s6aigD5UpQby
dm7jR5q/p2XeutkwWP9WKfoT0+3BgBkAhQYWmFrIHGkRcW2MJny4sSNXNHXLAe+b
qR75DthmVGHmZOk+u7C6iY2AvfP33QNjy73QmiVenOw7y1Uoq6d+H6GbjQnA1A4O
ID0cN8jcM34mL4M3fwXZfkWDPG7dGWiI7ACn1b6PxfQdtluvKPi2T1vjBMuwfkjO
iPfXpcHLUXV+45Q2fcBO4JAeKNi6OXa1ItXlvX6FJF3tUuHwuDghiXAw91h1tnWj
AteJBCEwcIfZBTUAG+qrbG5ZyyO3q45H8PKsaR67uNhktkMkyqHtjmQESj8Xl0E+
Ac53kDRp/cx146O/ehPrYV3vYseMkm4MGKqYqQgECF+xFYeLvy0TpeB2xev+Y24M
rIlLL7np5/+pkEG8S5ysIHAm2yX20ycYCBz2qv9WYhzj5hJJcwVvh+/YdGQFFoKe
yJqLKyMHsC92yy6H9CDdVXASa6RPlvELyeb48vmYUfvdVdCLvGU=
=s17n
-----END PGP SIGNATURE-----