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

Format: 3.0 (quilt)
Source: coq-reglang
Binary: libcoq-reglang
Architecture: any
Version: 1.2.2-5
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
 980d94dcdd2a0e2a528072ab3a3f2f58b8e84439 9672 coq-reglang_1.2.2-5.debian.tar.xz
Checksums-Sha256:
 78be387cc7f96fb01463036e8f40fdb6955bcccd3a000e39d74e98bf3894d853 69740 coq-reglang_1.2.2.orig.tar.gz
 eb12295812764252e3cc109ae833b680591be26b11941e04e7f412fb0fc62c5f 9672 coq-reglang_1.2.2-5.debian.tar.xz
Files:
 a557f003d5bb739f7ca139ff378415db 69740 coq-reglang_1.2.2.orig.tar.gz
 51b266b3d5b2a57ce76a83b943be75fa 9672 coq-reglang_1.2.2-5.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmp8GKkZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUQXmD/wMrBDBtGzDlJX1FsP9hnWg
d1ZXpzBTIq7/lypZgPvkT7dO4GhAyNEuo5bcI41agr12hBygi+LdLbkWETTAjsRp
bFbH2vfCWv50tLXTJl+5h5EiVWSrVXzy0wkH0DfvxdHAVXlAbjVUFh5+UdPlg5DG
p6p4Mqu7XZjYVot05ES9zwL796UBiNXtZ/uv5eIitsfylx7mdt+DLB9t83a/ght8
hNfUi+c7DscrVHAH+8qqT8slyD/QfxOY3kdASKDctXg0rEjpx3X9v7OoAPVQYSlX
RUqL6b5jcnarJ0z5e/mRz8uE4GKv48UWi+nOAc7H55qCJgFsXM1McODiP857cbSj
H5M2WJJ43Z8Ce0/LQu57V2xa5bi7embyPmvgIaZtlUuhbBYFTZY6AW+rsOCWcxeK
9BqcpR+dr3VRWLGz0IU9qVL2aEladqeARS1JDCQmvQenzVRBpSydUCobUEPdcfHT
JyifFAOo1NES2XgIEpMVRMkRenPw2arUB3lab1XKdQzxgQUjBSgmPtRyyvlqS3X5
K6YMvodJ7+B0gOfto/UWTbKlVhXC6/TsuWhZl4P6tRNVC3tkALXisRzkU57uhIxY
9tgYm8X+2BOeLSF9h8Rasg/uvhnmrD5AkidWgr6ww+DWsErc5hOULj3pA49DsUqk
2oOEi7bii351+g24IR2eyw==
=OpD3
-----END PGP SIGNATURE-----