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

Format: 3.0 (quilt)
Source: coq-reglang
Binary: libcoq-reglang
Architecture: any
Version: 1.1.3-2build2
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-core-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
 19905b164b97f43005e9242bec6b3d065fde8f24 8472 coq-reglang_1.1.3-2build2.debian.tar.xz
Checksums-Sha256:
 eb36d5bdd375663f3cd3627f5f3cca54ddfc83982a1f8dc106b2424cf1ca371f 67023 coq-reglang_1.1.3.orig.tar.gz
 e1053074bae2f53b8428fdbc27f3e8eb471251189fb4b548632d215572b5fec6 8472 coq-reglang_1.1.3-2build2.debian.tar.xz
Files:
 36011415d0f49a7dddcb02b89dffd288 67023 coq-reglang_1.1.3.orig.tar.gz
 c33e78c0f2406d3db56ad95fd44ffcea 8472 coq-reglang_1.1.3-2build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPudf0ACgkQ808JdE6f
XdkLHBAAw4BNe+gb1telqRAzyHPZWWPRR9oPMATPwp9XWfg0qj5Kb2iPYiEYLtHe
+N+Aqcg3VX2XzqPSh5gVbMpFFMgnP2ptXu41CgVq4SQ+xOt61zF/ILOUxV4ysuPZ
eahQKKJYebnFbrv86hXeC/mH+SHAATr8hWUTF0BTFU4bwbkVo/eDpqQ39WQ2CR+v
cMc7JAUzeEQzFqTUL4kQsU2btPBzJBjw9ju2zSdbZ1RoNc/+WDY2KETVnUaufed1
zewTOstRb9t55jjxrDyh8hRnEfsqtFfMFJJpPE3utGyHhNj4hTMMFnX+HvOEHweR
seeOab8vOSJPkARcnmV9aZHnMg8sYITsHWG7xaXR6r0mp19zsB72sQOXLKHssUjq
cxgWgJTBaYb1C5y83tEcieG7E91jERT8gIK9K2Xyvv1Kke/tde7K1UDKK5QKXNSR
YVKbQeNpFLNPml0btjV7kfL4VAf1AMcZSWYUrjs8yZk1p7hvE+tMkeitgQFLAO4c
i4XQI0tnQ2vIAdwfnmVewlUv+nJgF2Xv79ESNiaR1iwt1mHTEU+2HDSTk2PHZF79
ur5p3vX3i0UtcKe/VMrgZRTn+aqaxdOnlrCm2s225TsHoXo99z++Jsa3L4XxCkJ0
nHSb5ff+knobewiOPWQPvJzE0pMoSAZYt8uiC/BLGfQ1nb1uATs=
=Li5r
-----END PGP SIGNATURE-----