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

Format: 3.0 (quilt)
Source: coq-reglang
Binary: libcoq-reglang
Architecture: any
Version: 1.2.2-3
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.7.4
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 (>= 9), 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:
 e3349130b4c4d6f05a3114be8df583a675328952 69740 coq-reglang_1.2.2.orig.tar.gz
 6245a5fb923b97c26f72a86453911603ee3dcfaa 9340 coq-reglang_1.2.2-3.debian.tar.xz
Checksums-Sha256:
 78be387cc7f96fb01463036e8f40fdb6955bcccd3a000e39d74e98bf3894d853 69740 coq-reglang_1.2.2.orig.tar.gz
 ea17d7d53a7a71b7b46f8c9ae4bb1b88dc280349868766ba59ee7e0f6bc04b72 9340 coq-reglang_1.2.2-3.debian.tar.xz
Files:
 a557f003d5bb739f7ca139ff378415db 69740 coq-reglang_1.2.2.orig.tar.gz
 162304f5505bc15b9a73ad138b210a6e 9340 coq-reglang_1.2.2-3.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpegH4ZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUcu4EACifLK7DlMaE37c1VFBEpRq
l/5jrVzYUOV2F2IusRfuPMweiBJ7VmcjQ1t+c7hn4XjQslxJe5L7qQg80sBIU3Pg
WkDuT6GFj1edEKxdYtv364DQ9EKeGqnZZF6pcsbij0+vyNHtyPW56K41ODqq7vES
RRAF3ag/kSa7BqxJfSxyyz3X4GQG9N0nPCe816wva6aWcu2Jb6UnYIYZzwLPDB2A
wijUwrS2zGf+EZgoLibzZ36sAfRxzH5HMHZeK/nRSodgXeUurK0QGHdZedsuOgJo
r24pSvRKCFVwxzoG+muWe+lsKUdlDrgCx5Ss0K26UPb1HXNmGt9KtLeRNmr03gJV
QZnYMbrGFzvvAca+4Am8rTZyPqDHJZ8So0j7eB3c7QM+2AT95v2ZWtjqbTskOk91
bvBrZ+rEeodAiTGHWCliBa3Dw4pCJmidutQZYyUfrbizHLuQgpaD+845t2/0cl/P
XKCY1gboIAgVJWsbQQOlUstAyk3sbn1YN939YJeYnjvLFULG0lqWkphpJeqtNZoi
8AKh4X1nl/4nJmUsoGz86+PpvFB15ZQx+1V0PL8MuYwJa8CP93kcumsv2WG1Wxun
tl2mwosj3qjKUMSgJ4358dbaqWTYIPFMcrEXvzXTUOO/PgJW1xsGwjj41vrPtI6P
KVmuAPRdIQ+rvY+FI4It0g==
=Dszk
-----END PGP SIGNATURE-----