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

Format: 3.0 (quilt)
Source: coq-reglang
Binary: libcoq-reglang
Architecture: any
Version: 1.2.1-4build22
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
 7d9ab7582e8885a295ca4058c1dd92ac15d7e222 9128 coq-reglang_1.2.1-4build22.debian.tar.xz
Checksums-Sha256:
 0a0b853389651827ded42dd3ff21f61d1a1dbf262dd8aa1f71f4be96d9322a75 69424 coq-reglang_1.2.1.orig.tar.gz
 1c04fe0f1da0dfeb582e12540a5af8eca2c1c427d5726949011b941ad215fe6b 9128 coq-reglang_1.2.1-4build22.debian.tar.xz
Files:
 39b6d7cfd0237d44e4580bf13afaf6af 69424 coq-reglang_1.2.1.orig.tar.gz
 54d0336778084111738a8dae8c1e5944 9128 coq-reglang_1.2.1-4build22.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpXZD8ACgkQ808JdE6f
XdmQYw//ecABTgI9bJ4/N1OMBu3452gcqpCe4s3+J+cJKCJEQG8GtruSMbXQtqJs
psBJFxWKxjf7+Y5FNFsOwiCnDmeA3vNRKafrkWzqiSO6AWaNDxRy4iRjcZoTvjGV
onjL4TC399mMGSzClPam/Gjp009TdEZde6VQimJ8QRq1C/vDg7KyDd+rDuXhb2Mo
w9eUatdW/JhPF4KbRp/r/btU1kLMzJdBF9W0Wq2WTBdl4CdzXIdZ3J6phS5zIIXt
E+GLs7ENi5Z8oRN5+4kL4x17xcCOmveVij2/rnQAGonXOi/Tyjj8+jTDIIixjfDZ
2Knf+jxz/89nDFun2WrwDaQI1z6MXzmL2XXP6/+OKThZePwnFyIDXupyBZN6x9vl
d4F1AXSCaktGGxs5bKN7nRdRMhF3BSEr4J73ycqDxmE2030SOZWi6LGhJcL3KhiW
rYl6gwQpfHn3CP4SLPiNXaa4GxuAWEKLdHNqFWBWM/isGUdC2IZwkawBOJbUt95t
jJCM4Lse5kx4DoKG6suJDzXlrKJfURGiWTB9vJ9XOiMtGWow9yXFmjcmG6loX72T
0RrW7lJJ/0MgqQdmsdYio610UakU9gb+vgRDcUAyC9cGtJ304s9JvR9/Af9TKU9e
ELz0w+fSdNvmDy1j2YmCE8+goYj+C/MA+bPmpb+Q4D+sPVIJCik=
=fQTi
-----END PGP SIGNATURE-----