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

Format: 3.0 (quilt)
Source: coq-reglang
Binary: libcoq-reglang
Architecture: any
Version: 1.1.3-1build1
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
 c811fd2d4639101c28082d9e33b1de04d54a882c 8424 coq-reglang_1.1.3-1build1.debian.tar.xz
Checksums-Sha256:
 eb36d5bdd375663f3cd3627f5f3cca54ddfc83982a1f8dc106b2424cf1ca371f 67023 coq-reglang_1.1.3.orig.tar.gz
 5562ec9dc568ff606541fe147e7f48d15f087dd381d53e5c778217a1c8ef1fc1 8424 coq-reglang_1.1.3-1build1.debian.tar.xz
Files:
 36011415d0f49a7dddcb02b89dffd288 67023 coq-reglang_1.1.3.orig.tar.gz
 af8b48e7b344bdb6515fbdb5627917a9 8424 coq-reglang_1.1.3-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOAe6QACgkQ808JdE6f
Xdld5xAAi5F1xgfB9fc4Or/vMFQCBLGE9HtHO2Ihe8MOvfdGPHH8xVRmi1jopgpt
rgXRpbquHpgdtRz4KKzKuN1sQaI4eOGGzviDzyAHX5MLec1ckWbWDfFtd2f0i/nl
ZI9CHeBoednlqvp2r2EcxRI4Tajl77DuY7Bm5+qzkpvANLdHghtKQrVjtl2w0Wph
gQAMgSoN75dy4o+a2UuGBiQWTUwBKvP7uydSjv9wrGOwQZee4aqGsTAzrHsMhWDK
XUI29NDO83TVw3fJhwo08US/H7R1xeYQmGk+2A3Fs1NEJDEs9mzyLlcn2v3fQc8k
oY6M6ODiBSJgQmLvouKcsiuqDCJzUy3/rx7JWuJOUU0+g5jtCrSpQbKNpoJ3dsxm
8qp0AebgZRGxUY0wD8JaVPs609Ty1OuliXnx9oxxO494GNquIl0Ek5bUx5iX2Ikb
sWzn9xcqZAHaGFE3T5edp3OBzfEyB1yarqs+U0R4uGzMXoknP//l4hd7F3ZK+7ND
xMMy/2vodVjMBMWM04RFb+BiywHq4W9rSYunlEeZ5JsvWE5KIcofpWWno+0XSY+R
et6rrQfP/75aVRQgij4f4/7VCPT2HObmgKYrnDL2N80xKXWj/rjQTJSfei8MRnwt
hYtj4h5L4NvcMSai5jWpIyRi+Zr7xCluhamXSlhe+MhZCPUqJFc=
=aFqB
-----END PGP SIGNATURE-----