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

Format: 3.0 (quilt)
Source: coq-reglang
Binary: libcoq-reglang
Architecture: any
Version: 1.1.3-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.1
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, dune, libcoq-mathcomp-ssreflect, libcoq-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-reglang deb ocaml optional arch=any
Checksums-Sha1:
 851f2a363f8ff7103b18844f6dbcfb348ba3e2e3 67023 coq-reglang_1.1.3.orig.tar.gz
 54d837c6930682b125f42f0099d3badc42567e45 8432 coq-reglang_1.1.3-1build2.debian.tar.xz
Checksums-Sha256:
 eb36d5bdd375663f3cd3627f5f3cca54ddfc83982a1f8dc106b2424cf1ca371f 67023 coq-reglang_1.1.3.orig.tar.gz
 9a3a3dd5c057b1c5168c1e7dc7b77895faeb374397a7a7b1fa6eac3ae0167f70 8432 coq-reglang_1.1.3-1build2.debian.tar.xz
Files:
 36011415d0f49a7dddcb02b89dffd288 67023 coq-reglang_1.1.3.orig.tar.gz
 111119d3d40b18a7c3a3335cc7c07a12 8432 coq-reglang_1.1.3-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOLGsgACgkQ808JdE6f
XdmBFA/+M8Uu8nDA+PMEQuyGG69aWpsJ9Ancwr51Yc4BvgQjyEaTvctDWEYe2oGo
tyams0kydRXmIhN5pevy6vGHNfnEg4Cm9Ff6pIfloqnJH7w/593TyNAO8PWo47In
oSzIulf3qUD8h1maEMEu4M6ABorWdFV3xk9JTgn57Ql4XMze/lo1I9WgiP0qJ11S
OnUsdJzb6UUvlXzg3KfW7u5wR6f9Fx0DZaoOIywGUPhq52gJbzKiTSBj629Ctm6+
QhUqOu7jJmTNNrniUoihDR0d3syFfgysopzGJzVGh7rBkKFEHZco6D1Adzs9+YeM
uJx5qc38CriB4zWYs+TMtkQrmh3srBRm5w6nA/XWzR5zqxh+NyvFPhuAjzFXzi5+
wWQ4grd/l7oDELFuadpQj1D0Hj76kf4Xs43ZhCpI2Z8FaWUaGu+dI9Svla6xO/pw
ViAdrC5RgHGwic+B01dXAxrqW5zRcnONKzB5Q4myZDlSxpigOtLWrWJCC5POByc+
Hh8PnDDottPLTUL17mTgzb9eS8ajD37lbv1wLO79S21JGjsx1Xfy+hnRgKs3Op4N
efQQ91M1hcLaWKJyJR18PBvPVQwG0+Q2+PubBXaS+a4X76jyUg92mz8Yo9LVWW1E
6A7tHzxvucvHJkA4hBrvWNr2Lnar+knjO3W3uEWQ/NMyxW3eT0E=
=Zg2N
-----END PGP SIGNATURE-----