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

Format: 3.0 (quilt)
Source: coq-reglang
Binary: libcoq-reglang
Architecture: any
Version: 1.2.1-4build12
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
 9fc6be76bf1faa28f537a4e9b65d38b6e753f578 8944 coq-reglang_1.2.1-4build12.debian.tar.xz
Checksums-Sha256:
 0a0b853389651827ded42dd3ff21f61d1a1dbf262dd8aa1f71f4be96d9322a75 69424 coq-reglang_1.2.1.orig.tar.gz
 005a8733edee1e5e3e98fb647810cf7247679ffa0493c91fcc0a1294db08f853 8944 coq-reglang_1.2.1-4build12.debian.tar.xz
Files:
 39b6d7cfd0237d44e4580bf13afaf6af 69424 coq-reglang_1.2.1.orig.tar.gz
 6842d7596f5151ec83baf347ad70d969 8944 coq-reglang_1.2.1-4build12.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAme1gU8ACgkQ808JdE6f
XdmoRg/7B4IsIKbHEf3q5e7sSLfLRdTyjcc4u5V8bFHLFz9CUy6rrY2xvE2IOlxO
Ov3a5AKcHYu3D0k3U31pbcXezJhkFrPrHZmY/vwI+XPh+Yl87NbSTR+4dSVzu7UK
cG3cxozORJEgrzdvB1VzwFLcErYzkf0sgkktgR7xQBTl8ISLdblIo/1/Um04Ild/
XwKwA3wMnGBAbe9JWmCdSfjsJGEpbOF0+HyZOIuXyrfajJO46ftUhs/j/Bv/GVPk
I0Qj/CLWH89A2jxUFgTUYrfkc+9/ZhtJ+rlexfBubPx9cA4ZS0R5aa9L2KjVbR0c
cNKWMvZYf5JvY2Twc9JJzPnAs02iAZtcnUr/ISi44WjhA2dE5ctYFq+/VyWJMTHO
QoUBwBoEuobLl7smtUWk8sH/7sWrb5Rbp3jZPSnPUSGebRG4G+pOx5xb5++Ijs83
XPYdf1ICCJxXZXervzAL8RIops7783M4Vk3GKFWQq+z9diCQ9y40l3sf46WVgTPy
bIQW4rUQHfRmRD23Dg+W6zLunuQVdWcwGtoa0XqbCR/jRPBUvk7aFj0PY7hBpmJ8
FfUKgv4/kT0pWCt+/k62PjFqpu+8hyXykRsuZhIikjezdL8pgvN5CMEcNOFoNyiD
iF8IunTr6wvTpy31Y5ReFDpDSKTaj+P5E8gwmhJMXIAsPfvDUTc=
=jkkM
-----END PGP SIGNATURE-----