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

Format: 3.0 (quilt)
Source: coq-reglang
Binary: libcoq-reglang
Architecture: any
Version: 1.1.3-4build1
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:
 851f2a363f8ff7103b18844f6dbcfb348ba3e2e3 67023 coq-reglang_1.1.3.orig.tar.gz
 552fd70eb32daf12e7d210ee04efd70c68027795 8504 coq-reglang_1.1.3-4build1.debian.tar.xz
Checksums-Sha256:
 eb36d5bdd375663f3cd3627f5f3cca54ddfc83982a1f8dc106b2424cf1ca371f 67023 coq-reglang_1.1.3.orig.tar.gz
 805d3872a00e12048546e4ca9a0057ee90248acaef09075ae22e68f6d90727ba 8504 coq-reglang_1.1.3-4build1.debian.tar.xz
Files:
 36011415d0f49a7dddcb02b89dffd288 67023 coq-reglang_1.1.3.orig.tar.gz
 c519c7181f34c8d208319ea53ab66a76 8504 coq-reglang_1.1.3-4build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmS+r5IACgkQ808JdE6f
XdkmKRAArVabt80/wPXxuEKGXfrw7GGvZ/14kO7I1S1xu4Gmyxa2zNVRe4HG4+DM
HeuBPzcLm5KAyjm+cEb6OBrRttjOIA9E4+6SYUHynl6ZgFadGJU5pJwULMcr7Uu2
xSj02fWSGFU8fPIHgh7UOnpjKPKZB5wGVeuOCHtatrX3jHWRI5RpvVWGui2+DdEq
MgQSsW8gAWNqMXspcfRA6f7b+R+9b2ndrKbh/qC1ePA5PBp1RzRsYdYileyHclms
/Gi0SuPc7l5PG64q4kSuO7PdOWgpxNIh3Wl9qcXiONY7PNY071bEJr10RyoJvIRR
LoCs7+ad86NDYfPMe/E9EgCtaQg/+NDRMU1z40VZiCsq/3PLkLUBuAUdKugH/VOO
wAleyq4T2EbZuxBCet1DlJSrSIq0fUhwqCft+tCwSSXFIS2QJZ/jQEkm8MhoghaB
9hf5ejxPhth7NEzfJuyLajycuUgH15UWM+oKwst5Sm/5yagW17C0JpEhiXmW8tvU
JUj+O72NZVq0fNFnJiQgjjzvmyyb04G0d5mm0YeWqIcJIr4mAgY6fjZJiS47zhM/
vX7Il/6bGmUW6GqbLyRXjnYfEzHiCw5QCe217RHl1mkbx5BeRTY6iSJilpW3cQRY
6bgwoW9NASCRsOXmp3Ol1VfIl6c6LEhqt9iPKR+feWmHxMiI25I=
=ncuf
-----END PGP SIGNATURE-----