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

Format: 3.0 (quilt)
Source: coq-reglang
Binary: libcoq-reglang
Architecture: any
Version: 1.1.3-2build3
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
 f6d223635716a3b3f92798ff93f0b75850e3b07a 8492 coq-reglang_1.1.3-2build3.debian.tar.xz
Checksums-Sha256:
 eb36d5bdd375663f3cd3627f5f3cca54ddfc83982a1f8dc106b2424cf1ca371f 67023 coq-reglang_1.1.3.orig.tar.gz
 75bca2d4040e4311b451ded043d08cbdaea6c64e5171fef5a402230d4fb298b1 8492 coq-reglang_1.1.3-2build3.debian.tar.xz
Files:
 36011415d0f49a7dddcb02b89dffd288 67023 coq-reglang_1.1.3.orig.tar.gz
 8de63aeed1931c255e8435400adc5771 8492 coq-reglang_1.1.3-2build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmSILBIACgkQ808JdE6f
XdnV5BAAoOtExdox9QJZlloX0RQpiPttY35G7xz78EhE+PxQYL1JYz+4iF/b3IkA
QM6pvj6Yb2MuB44wD1jYHTkQBrz4djkhQJNfoOpV7fu5Kq3FcrZJJOBe/Ny+fcro
jmJ0gT1ye8gVoFuFr4B+8+3tftgAjWvLa7gvzJT9+RG5GlvNHWDciZrL9R4JA/Of
DQPHvkUWQckXrAK1T5ixn74bzO+VoO9GWTbIKbrT0NDYFfV/ODxHXNzMxciwD/eT
cx4r662Q0h0aSu5AvCIS6l3BvXSJkXBlW0ZaGcTh9+n6k6CEVuGrxu4t3/fgvLzI
zNUs/K/6lTQM/4Vw6DRAri+ci2Et/1+cHMi7EPPrDqS0efpx1JXyvuWq/HwNwya2
zZxk870f46vc6nva9F01EQZTBvHwx1CEHtPxSvD7BH1uyIDBEPBKdDkYXvS2040W
IbYOFbW1CACvZcIlg95xEstNgjNhpmMghub6VWVwdzvlTaBIOdOMDo4P6F+Mq6QO
isve0R2WtjdiOEydFXy5SFBSqhWN8f0Wj45zoFpd0KZ8CaQWbwaymQaD6XvvitLq
5DIPmZUgMYUWC5BWoeDRl+WU0B9LD1bxiciHls4NUjuYpD1agyPteTCZfaw32i+B
ZbQfY9MuZ1vB47P0ibTyt7Q/3+GpvYDBnOWz+ZRRO7QNGmdB3Mk=
=OzIp
-----END PGP SIGNATURE-----