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

Format: 3.0 (quilt)
Source: coq-reglang
Binary: libcoq-reglang
Architecture: any
Version: 1.2.1-4build5
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.2
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, libcoq-core-ocaml-dev, libcoq-mathcomp-ssreflect, libcoq-stdlib, ocaml-dune
Package-List:
 libcoq-reglang deb ocaml optional arch=any
Checksums-Sha1:
 6eee3ed03aa03a1de243b3d76a2deafae5b6621c 69424 coq-reglang_1.2.1.orig.tar.gz
 4704718215a6ca94f92e9853f72ad6f4270df28c 8792 coq-reglang_1.2.1-4build5.debian.tar.xz
Checksums-Sha256:
 0a0b853389651827ded42dd3ff21f61d1a1dbf262dd8aa1f71f4be96d9322a75 69424 coq-reglang_1.2.1.orig.tar.gz
 68b6d2737b6172642062db66390378106def5799e12c5baf20cc39f0cddf63ee 8792 coq-reglang_1.2.1-4build5.debian.tar.xz
Files:
 39b6d7cfd0237d44e4580bf13afaf6af 69424 coq-reglang_1.2.1.orig.tar.gz
 30681b26fb562ca1f23145b6959bc8de 8792 coq-reglang_1.2.1-4build5.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmbpo+sACgkQ808JdE6f
Xdl4DhAAhbYJZfZgx8z3Tcpg/zfkA/y3z1Vgus/+BslAcnlC3k3sfs90BkBEXmOM
2Gy/wwUx9dtrtcvG1O8B44lIrdIV76edOJppu+jX/xHW2PKbIC04IqsITzSvxciF
q4Buybbc5bQmbSuA2dIWCQACJPcJqhcOa1VcvZWQYMxi/qWXIyRXCxB2SY6OYZH/
SOzgS6+8+Cld3jUP8DRLIhtjhTE6PxkqqLTUPLgh+Wo/6ALhmhfZnQKnOHTjWINp
G2v7V4lOmbaIzKOF8N4+pAlUhkmpwlF4pJwlsIrEnbAbF9yO47+S39KM8/YzKW3l
FLAvi6BPJdea2+/ZhwQX9ESCwrcZ4cr91oMi58kGNdEWFLCPDh+7l6B8oNyRGCcx
P5oORBOe3w5ueQex948JCLnouC44Z4AYrxIKM8ZLWMn12j1Kyt+9z25hkfmpQIz4
7ViPpgkv1+H2J6vCSzVJ6Qdo38Df4mWOoCAFpTa+PzZU2HbwvEdD2di0nOVM9MKH
Y683oHGVpi37u/jmBCctks7lngTDyJqVXdMDXlgMmQ/yKL03xSZPfF0CV90Dbu/o
ov7AIHXw454SHg6YqJxKY3Hb/s/mmwgGlWDquUi037zQOHsNjRajy+52d3gAUrrw
zGXsT/++BufKRm8WiXyHZGIaTEPg585iMYgdwS8nqv5m20JfMvQ=
=i2HD
-----END PGP SIGNATURE-----