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

Format: 3.0 (quilt)
Source: coq-reglang
Binary: libcoq-reglang
Architecture: any
Version: 1.2.1-4build14
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
 8edc6f0fdcb3e24b9cc868e4afaa699198dd333f 8972 coq-reglang_1.2.1-4build14.debian.tar.xz
Checksums-Sha256:
 0a0b853389651827ded42dd3ff21f61d1a1dbf262dd8aa1f71f4be96d9322a75 69424 coq-reglang_1.2.1.orig.tar.gz
 14987bc5311e6a2dd1271d37d2ab5ed9d398ca57e678a81d30969f833b0aa676 8972 coq-reglang_1.2.1-4build14.debian.tar.xz
Files:
 39b6d7cfd0237d44e4580bf13afaf6af 69424 coq-reglang_1.2.1.orig.tar.gz
 b8efc3506f4f72ab0ccdd556b0ea95ed 8972 coq-reglang_1.2.1-4build14.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmg2w8EACgkQ808JdE6f
XdngRA/+MyaNUjOXlI5ZnzPuuwlvO7qXoURWE0Dp4sVIBdU76fo/eDhQM/oO/pg2
Pa3Hl0J/eGMaw474ekE8eWDaVXWbl81j6Q4T/UgWGQMDRAYzOldgk8lsvhDBkP80
JFU4vK0z4/Paxzkj5M8oSYJ1HbcZfnc75FNtjfCAnOVBf0LIpN/PGG0YJOw8JdhY
AXEUfvP0L3Y8azeTtBjS0R/hHAc/2tx/hsoZ2bwRm0PCB7usXrJI/A+xh2Cweota
9iUU5MvPR8v7yxUP0IeU4659pVSE26N3hgPt/OJ+Y437rTkdogB7JLUmOwUNX682
4fOuxwjZ8JY9zOkxAf7cYXfBdJrvlJqLj72032dILGqGmw3hvtFeEU+jMMX3dPdf
HtgFZ6CnERPAzGHzXcx0MlLhu5JCzlr0JAdYi1CZgaaGFy6/qw0Yaxl7HjofIjBb
t2X5p/K1K3r31q1EN6P5O80hJxymepe9RJpV32jP6z186Cm1Clul1F18KNsWKN6c
T/UUSfgIS/Z6Fs4eIJBPv5/B/ztHswZVnS4knugCgcaF2HpV3lCVrGwbV59zyO2S
izQkpzYIGK+NrHKOn5x0+h9wVt9w5VbxNYqrZc9g75my2zUr86TtpNY421k91n9U
MxyW2YfJSan6HGe/80oK8EnW8IevEQmV8pMEQQpbcilogEvG720=
=iZjt
-----END PGP SIGNATURE-----