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

Format: 3.0 (quilt)
Source: coq-reglang
Binary: libcoq-reglang
Architecture: any
Version: 1.2.1-4build18
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
 5fa925145474670a1563199d231e5840a083127d 9028 coq-reglang_1.2.1-4build18.debian.tar.xz
Checksums-Sha256:
 0a0b853389651827ded42dd3ff21f61d1a1dbf262dd8aa1f71f4be96d9322a75 69424 coq-reglang_1.2.1.orig.tar.gz
 7af210a1b25a881de98d24ed2afd2b30118d26b622506415bd108bd85f3e6d9e 9028 coq-reglang_1.2.1-4build18.debian.tar.xz
Files:
 39b6d7cfd0237d44e4580bf13afaf6af 69424 coq-reglang_1.2.1.orig.tar.gz
 4de1340b44deb6e3a359ac3e22ceb423 9028 coq-reglang_1.2.1-4build18.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmkMVqAACgkQ808JdE6f
XdnsgA/+IQENuqTXB786FRynS5cSq+vf4wlwAKx9f0k9lG1yQSY5beAQkQ59DNja
BR7Jp/Xqi7y2Yw1791t/p3xxCxGbAhcGJv228pr5AzDbRmfjq4XJ0FPS6bVdHuzQ
v7OGAQJ1KKQEGiJAkYI62w7zLdEpoCVl31vs97evCZWjoIQHNGdU61zl3kqJ83nE
w0vSBYtB5pK2n+zPMInbgY3nz4aOQsFziwo2BNBf5pwxn6X6lnBka3wYFkd2vDOq
p6yTcSvn+fTgQZJv2y/hwlkoXziLSXL8uPGlkuLjJc6gV76YpUEPwvDnNn6AE2bA
pbXjlNk4pPQMlYqmWSUzjLLfoTGmUhivTM/9YcfYfZU6oGMWrzdzSd65oENso76M
0ZicE7R/GJ6rKPNrhp/CbTkQkDl+cHCYXzax0XpceF3+wo7j6LjRqJtZkrh1Z6M6
6hANsTJ6Mu6Q7vNxzo/LKWLhpw7cvWXB/F4ctsfUTAG6jlh3eUg8IM2VbgJ/mNOz
VuT847qvbFEMMjYdEhhD8w3WbWMzzP+JszdDs0tBGFezf1EqN/w/lvNFsjcie5FI
62jzpUrPVYgbzdShsgIHr3VVUT0nJsa0fI1ZK0I6JIUNxLO4kkTR/JNZfWWxzhHv
jv6z8XJWEmv1v/4P4iq2pGcYpwViFM91YLjQaQQdz7sMCXIXSr8=
=SjLx
-----END PGP SIGNATURE-----