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

Format: 3.0 (quilt)
Source: coq-reglang
Binary: libcoq-reglang
Architecture: any
Version: 1.2.1-4build19
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
 a4e19fc88827274017d7cf2dea1349c4a9a465ca 9044 coq-reglang_1.2.1-4build19.debian.tar.xz
Checksums-Sha256:
 0a0b853389651827ded42dd3ff21f61d1a1dbf262dd8aa1f71f4be96d9322a75 69424 coq-reglang_1.2.1.orig.tar.gz
 3b8fee7be51f5fa731cc9f37b30a8f26ee37b8ee4a36918a1a55329f73daa88f 9044 coq-reglang_1.2.1-4build19.debian.tar.xz
Files:
 39b6d7cfd0237d44e4580bf13afaf6af 69424 coq-reglang_1.2.1.orig.tar.gz
 ac344364cc9469a5cead0709935484c1 9044 coq-reglang_1.2.1-4build19.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmla6ZwACgkQ808JdE6f
XdlclQ//VdqDeLiTzIJXOULLWH1mpTBWqtZjnuL9iNmYePQ8K7ZJEoYS2DErnG/q
HmFGuH/du5L9cH7GQobXtGJjIXvN2375+V/2ceamUciBCvg/slzCCjbXNIAsNUuc
C4NxAq2+Y10Ggyfi33K0gMBbbaL7whBv1R0+iEF3bM4z5UAjHAf4SSJg7D0h1x5U
J0uPIn0/w3FjWYrMk6enl7nYutGSm7g0lLZCOu2UfdJDGU1ZFv61JTmBJVAALZ1q
7LgrhxbCZYt7dgODFwZCz7aKF511jVQcnlrc7WcDcvy8cMX6z5BdNDxV/d3tf8rL
NtZH4M2O/lcFwXv0bVHM95wk0yu8wrvmeWflYEceTpz1qBVBE7nyC8Uz72WYVniG
kGJwEe5Lq1YT1lnAhecdhPbh/ONmp4vaHQDXgOyfJ90trIAwExyTDqJtU9pSdc1q
3Q7o2a+v4mkBALlS4ORHQpmIfYBVG1B4s4AxuYEMvJmjMJz9YZ9I8qiLF9nR10Q+
bzn+yeVtpQGsb00znx2p/C7V1sRIsvLRqUSFMUhXJRMG+mXwXS09+zEnd+eeNBtf
TDdfP3lpTrc8MAclFulfyl5pfD+EKCbTDH3o5q8QnwQXXlKEu6gG9PC++UcfCxAv
SplH+J41pT7LpeGgDfzeQaXANb37Qf/OWaEJDEwZ5M0qEwiZlAA=
=BnQR
-----END PGP SIGNATURE-----