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

Format: 3.0 (quilt)
Source: coq-reglang
Binary: libcoq-reglang
Architecture: any
Version: 1.2.1-1build2
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
 626839eea29b65a4be43d05e16384e4111b2c77b 8632 coq-reglang_1.2.1-1build2.debian.tar.xz
Checksums-Sha256:
 0a0b853389651827ded42dd3ff21f61d1a1dbf262dd8aa1f71f4be96d9322a75 69424 coq-reglang_1.2.1.orig.tar.gz
 5cc03e95c824d5e3bb95bc4af8c1874861538921b106db6b351ef3cabc9c9cf5 8632 coq-reglang_1.2.1-1build2.debian.tar.xz
Files:
 39b6d7cfd0237d44e4580bf13afaf6af 69424 coq-reglang_1.2.1.orig.tar.gz
 7789ddcca6d04a1965ac9cf33c73f1c8 8632 coq-reglang_1.2.1-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmXP/L8ACgkQ808JdE6f
Xdn/ORAAx7tED4z5ayJo2yDuXxZ3w27g7NeSbp+ejx0x4A37T2VvJxuWXYNQVmwD
ouSH3Z445n0L1TpfM3D44+m5SanHeZPoZW+YjVVIiYg7XSxtBB4udJudzKtdZrfF
OkD9cXbl88Edfj0pTvH/sC5QxBLIb9BieBannLuQGw5LtseYUkVa/sKSXQ2BhMpx
MHK1aAe5AvPrfctndQ4FJMrxvHfsbLXN6vRzw0dCqTiGpkCUkSi76iOHRPD3vktD
wUmL4Np0tbCvIPmWxLnH1wcA64717OdKMzH5U3E5lRjrr+rk5qaQMGsXgu2CijdD
1jWdmjEC7LmEFEzIsakT3b4xccTO7b71Xjd29zIpPsj9dLMe50Y+7jmZP44vOYAp
q8MelbuALut7sSglMyjsWl48pLwDMjJ2/djjpEFXRz+OspG0qyWxOM8tUVepoGgM
w9mGGJJIqHG+G5b73DrxQ4jJ/68qpku97r5eOuFWBModukinmgdauWEu+LLQb82L
O2scnn9oJbeS3y+fPCKnaIrrCrqLgexXS5QEWLcDm/G/YhIVrdJRTLjEJKZpdjoW
TLRPHx9IFKClu0dXhetYp1gGC99dcui28Rv9M/PSODzFzLkWsULBVHB9p5Y+Ee3I
48sku1gDxO6l5oZcEMcHgpNf2pCaCa+FkDZKlsofuL+BnAB/89w=
=u7ol
-----END PGP SIGNATURE-----