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

Format: 3.0 (quilt)
Source: coq-reglang
Binary: libcoq-reglang
Architecture: any
Version: 1.2.1-4build21
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
 f1e6587364dbe07ad15288b040d7d28abce069d2 9120 coq-reglang_1.2.1-4build21.debian.tar.xz
Checksums-Sha256:
 0a0b853389651827ded42dd3ff21f61d1a1dbf262dd8aa1f71f4be96d9322a75 69424 coq-reglang_1.2.1.orig.tar.gz
 385fdd8f91a85d660c58be71e79b7c31a0e4a509a0278a29d8e5ee8dc45d9c1b 9120 coq-reglang_1.2.1-4build21.debian.tar.xz
Files:
 39b6d7cfd0237d44e4580bf13afaf6af 69424 coq-reglang_1.2.1.orig.tar.gz
 406e888cf79ba879dfa15824dddd7e74 9120 coq-reglang_1.2.1-4build21.debian.tar.xz

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmmqsdEACgkQWWH9vpxh
mAkGqA/8CpaHqWIiXA7CLU0dFqtALePDMju7hXp9VbOQcTKj2f6w2b/AqcGhZUaL
cJ/K8rGCbfkxLQv7OYMcTKb5xrhPlT3UU+2SeSWNOE0mqI75cGgJX6VZV8S85G5j
mwoX7CUE/7l0+uFDF6x/h7w6KaKV2m4I2tufDCgSYDh2aZS4nmy5pOvwZtyji5A5
/z5qXp4HsrHee9TYA1ETIZX8LYuCDeuaAan2xGUbDAMksGomCXe4t3092dBP2jcW
x5zyhDsKFuvXxgOB9NWczdF9/Ulbbh6WR80QzYnjnsptADiWqoDbDYLqZ7RwBeNK
CoAaAmMUo84yIQkJF7Twuq5cI0TiMTY9vq3PASRWMXT5jOd12phaPCAm0gBbT8V/
FB8gQCYseLU3/9M6MWIls/r88HL4z2uxQQnlegxPUJ0vtsSrUg41LtlpXtQQEQQI
MN+6sK0Tx/tXrlVFoPmYsWX6FtL6TdAUoiel61MENtDdWJD7uDhV5kvD93xslZsz
+GVHZ84vqfl+yTTcN4Nz3AeNQYAl3fYxXYxH7V8s19N+SiBvrR/82RpcjagjnjQE
UCcFHCXVsTeIQjROj267K6Z6Ck2JIxBOumArCoDfp+PeHPvJWcZMgbKC24tH192e
ETsW7UregeNrhclsnKJ3ZYWpr99FF8z+aAwe7zo5hMtd7CqZeyM=
=HLFg
-----END PGP SIGNATURE-----