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

Format: 3.0 (quilt)
Source: coq-reglang
Binary: libcoq-reglang
Architecture: any
Version: 1.1.3-2
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
 1fb8e9e36bfe6fa4ad9105cca51dde8a3399dd52 8392 coq-reglang_1.1.3-2.debian.tar.xz
Checksums-Sha256:
 eb36d5bdd375663f3cd3627f5f3cca54ddfc83982a1f8dc106b2424cf1ca371f 67023 coq-reglang_1.1.3.orig.tar.gz
 a5476d0f96f5486e858d61b99163c88a59c436d66ba4260e2cca17bfa9dcd003 8392 coq-reglang_1.1.3-2.debian.tar.xz
Files:
 36011415d0f49a7dddcb02b89dffd288 67023 coq-reglang_1.1.3.orig.tar.gz
 f114c053e00795b791619d7a19a62bde 8392 coq-reglang_1.1.3-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPRHGUSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRYqgP/i7IeQlWrmSZboiUFgB5BiEy3Ze5Bk57
ggrtfB8tml6pT/Kfr8lO41/9OQwsiF4hJtEryZd2VCx8EEy8jW5OpR3onAeJtw6D
kS7Arv0ia9rgxOURpjeNqYZ+N7gt+hv5V7Ljk1hbU95BPqwaUgWAn9LuVCG4o72e
ZwpoZ62h5EpR6MkUh9zABSqS1apb3JuDRVDyEApjg29ZG0i7UeANN0FBngNgcOsx
lmx9MyMQMJOBGLmi+8mvHH+Dbk/4bYjI1NL8PyYHRTyXDW7RRvkzM1nJ3JmugPBV
GL2xAFqTUgz7b+TQ+6JPrSrvZlRlIR/eMlf9LZX5GEYoUvpXt2QBvbLET7kHPX77
GfA32oYmyqGKSsh3hRsbN4xplmofK7SPd4oMpx8/ADvdu6Chuuogmu5HpIkHFcOU
tZH7gfuzcISrGabm374HwtCkZvqUJXK0yR12QRlxm59dXRp+tAETBemV1r/0g7py
hSdcW/L50/+Bn4qiLkgso21ZYDC5EIJOF6hfsRaqndoJq4yCKqCvX/McrCO11wrl
lYMDFsyCNAOaDa/dB45vGO5CvtD+Lf7l3FvRff4XQCzRNwGGqHTQ8ATQC6vUXLzo
uTeCUMczT5e4u3IR48uRSaNKnMaIcAk71tkUPlh/K6vygGW2bXB3xF6MsjRRUajD
mMCeO3AmcqJc
=4Opy
-----END PGP SIGNATURE-----