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

Format: 3.0 (quilt)
Source: coq-reglang
Binary: libcoq-reglang
Architecture: any
Version: 1.2.1-3build2
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
 e926952e897b187af5e60ea750720a877d85c414 8648 coq-reglang_1.2.1-3build2.debian.tar.xz
Checksums-Sha256:
 0a0b853389651827ded42dd3ff21f61d1a1dbf262dd8aa1f71f4be96d9322a75 69424 coq-reglang_1.2.1.orig.tar.gz
 dbc0f0119ca9bfe87188a4b006a8cd6c96b6440b9c7e72c26773f4e05d56761e 8648 coq-reglang_1.2.1-3build2.debian.tar.xz
Files:
 39b6d7cfd0237d44e4580bf13afaf6af 69424 coq-reglang_1.2.1.orig.tar.gz
 6ac503fe0157e3a32d660f445bc547b7 8648 coq-reglang_1.2.1-3build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZCWgoACgkQ808JdE6f
XdlTOQ//ZihhmQs3YNPhr1IqxV5DhwyGUAV4yoS9JhcVOQ8Y7yzbxlyY2sqPnrTR
8GGObsBgKIzVV3cOG7DHYRvxN8FkkLeStIoPVQGe1sMc1Kuc2NXfMXrA1RG6Hm2f
kWmDz3vo7XgZE0geUSr1bAKC+C9T1dVWMR+uz/xne0Usm4I5+0WFSVyfmtXDxifU
wHM/b9gjRt6lON1G8MnsjOCeVStngs/ULi9CrHJ0msLlUYaEiKQkpfa+g+bwp5xi
0mdlH3RETXI0S5uTjJHUM1FfO29dMLNucX9Znx7ET6xQFqnI1nXq7VdnXbRNkYTX
Y4Vfa5aQKyoFln12GBoZnB9SSxwuMItn/8VDPnZWaS7Utt3dW+2/YhwDo2b1JQwO
MeqEI329eTsC/WczuBMX1g8KdvdFaTqY9t13W1/Ya8w/F8tEYhNmC1PvmxjsnDCi
byurBhaqV5W7D9mtBasQxrslOZ/K7UYbUqT8j6wfb0UKgsK/GySwelndsmRj1lLO
YaPjJYxY3ZqpVwdFrjurbIwgDXgAyywA0cL5in1iywl9TXvyG3JGd0ATvA4L922M
aPP4boFpRucag+j+QtrNVikvQyHld4IlN4irzmTMntbfiN60ldAo99vmWYTu5R5g
zeITYJozne60YW8JfV03nFUGiH1UXp60Jri3jM8Zm+NSB06/EEU=
=goOi
-----END PGP SIGNATURE-----