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

Format: 3.0 (quilt)
Source: coq-reglang
Binary: libcoq-reglang
Architecture: any
Version: 1.2.2-5build1
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 (>= 3.24.1)
Package-List:
 libcoq-reglang deb ocaml optional arch=any
Checksums-Sha1:
 e3349130b4c4d6f05a3114be8df583a675328952 69740 coq-reglang_1.2.2.orig.tar.gz
 5b4c6b5faf0bf2bf7b791cdffe90b775b7a44e38 9748 coq-reglang_1.2.2-5build1.debian.tar.xz
Checksums-Sha256:
 78be387cc7f96fb01463036e8f40fdb6955bcccd3a000e39d74e98bf3894d853 69740 coq-reglang_1.2.2.orig.tar.gz
 fe644dc60ca76445e26e6afbba65b4d685e532840c0c45c25c4492d5e528e6e4 9748 coq-reglang_1.2.2-5build1.debian.tar.xz
Files:
 a557f003d5bb739f7ca139ff378415db 69740 coq-reglang_1.2.2.orig.tar.gz
 88c58d437bf30b0384c32c0680a349aa 9748 coq-reglang_1.2.2-5build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqvdoMACgkQ808JdE6f
XdkiVRAAu3PuQLfGCKhaylpaOZxoVFnJIeAJWuGe/paIn0oJ4mpolnY3wLxzVuR6
+a/3AcUvcGbLzb4XEI4AFqJea+kzw5sGDqI2xSV4eT4d1a0oquoiMe53Ti8MT+NN
HCwCAvpGJzHA0Vzk87uvpPAKpMkq2KwetaJR1SPud+43ZavZ2RQ2ivHzYlD0/aBN
Nv7UAcazdMEucb1sv16rReUKJ6UVVZSX/D/n9VjV28B4G1D28OCkU7Ttt+iFijSK
/MG+FfGTSx4CfeEdJOPv2SpGYdNnaOk4hBJ/E9u4yIAjbqP1Iqrt+Xtu5X6WsUbX
JGV3tEGWTeve0cpK3RgD5aqkk/i6Whs8Ae01faaBFhdtg95c6aDytnKb1N1d8MTc
emJyzDNPzNFAE0tFLPJUUQvAJW2xneglwo/9trbhqSdQCU3o6gyIwzPX1Fq4xnYA
oYXCbVgsdbUjRn79lv93p5V+um3n57EfJurWOVMJj5cgA8NL8ULva4Dy4X4rNoOV
NsCP8G6FtKlJGKsUV5sz26uvUe+QCWGzk+e89g7G18hGmewVsuhns/NK2DiWo6kV
iBM5MZf7xuKSwYsPr0Ut0MK3ECjxzr7ITWdjrol52jHALAmZ1qIAoSPlHyDV03zg
YheWFywtNkYKBHdhpXkqSfIsylzg0t6woy4XYtKpOZKHq3ZyMXY=
=ngfV
-----END PGP SIGNATURE-----