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

Format: 3.0 (quilt)
Source: coq-reglang
Binary: libcoq-reglang
Architecture: any
Version: 1.2.1-4build16
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
 84e9cca5f1deb8021742363134f4fe3d4edaf88e 9004 coq-reglang_1.2.1-4build16.debian.tar.xz
Checksums-Sha256:
 0a0b853389651827ded42dd3ff21f61d1a1dbf262dd8aa1f71f4be96d9322a75 69424 coq-reglang_1.2.1.orig.tar.gz
 442aad9fce62c675622644123f1d34a05835a6c7ba9fa33d9d581708ac4dd089 9004 coq-reglang_1.2.1-4build16.debian.tar.xz
Files:
 39b6d7cfd0237d44e4580bf13afaf6af 69424 coq-reglang_1.2.1.orig.tar.gz
 2dfabccea999207ea8c56fb710983bea 9004 coq-reglang_1.2.1-4build16.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmi0oCMACgkQ808JdE6f
XdkflQ/+N7XzGV1I6JUacUxf99y4aFPhlPnPtP+w1gTvzjCIoHdQt5vdfnV+V671
P7AbbyB0e+dVqOYn2bvSggNnaL1WzKm5RKaNUwGKBzMGiqKEiOnm9vg4zKYOnGgP
Bo4UYl4kJpS6tH+31WusDYq2DG0YS471D1zJm4GTO5JxiF45DTy9CzXwDDOTKPmj
mCZVMTm9WQSe+SiZ2IStZYERVK6VMyJ/dnn4ZjQ+Far09UhLMRTxr5J1reAYV87S
GcKVAKSHG5xQdY/gBNOovN6V19M1SVWaMPOGPbJXI1v8c5pznx+T7Mox2+At4eSm
cvr3WCdYoY5mXSsE922jPWbO5Clg2hHEcRdSxsdX1rsI1P5QzqFWrGam8y6OlrAM
VtP6I7qlAtzkeyT8fqzU9jP6jYFJICbMB/p5LsGPD45Fev++GG512uPriobUQlU7
mu6gc6YH/KZp6vW2Usqat5Bj/UJd71qmvP8Wh+MEgCGwnZjXlVSJE1LkiGssXQEb
/BjeGE1GlfSoOy6vKk7KcHW/Kldfo7LVGb+adfnUB5LlCNdM3kA8rc9ljRHzAzl8
t7rfdDRw6cToJHvWX+ZVbkylqmeFk9VaFs2GO7SZruFADm+hBpPlLZMEaoWpstbB
yx8KtWbNtipHZyhBTeDpv/JHbUvx8TAd7f6w8/iixGTC/A+KPCw=
=tsNw
-----END PGP SIGNATURE-----