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

Format: 3.0 (quilt)
Source: coq-reglang
Binary: libcoq-reglang
Architecture: any
Version: 1.2.2-4
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.7.4
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 (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-mathcomp-ssreflect, libcoq-stdlib, ocaml-dune (>= 3.24.1)
Package-List:
 libcoq-reglang deb ocaml optional arch=any
Checksums-Sha1:
 e3349130b4c4d6f05a3114be8df583a675328952 69740 coq-reglang_1.2.2.orig.tar.gz
 5d19f7f1c8cc36daec5b379fdfe485d472b85ee9 9668 coq-reglang_1.2.2-4.debian.tar.xz
Checksums-Sha256:
 78be387cc7f96fb01463036e8f40fdb6955bcccd3a000e39d74e98bf3894d853 69740 coq-reglang_1.2.2.orig.tar.gz
 1d059e0a686f137bdf3f2ffbf2b5472ab530161c40db9c8d9ebc3c199369c812 9668 coq-reglang_1.2.2-4.debian.tar.xz
Files:
 a557f003d5bb739f7ca139ff378415db 69740 coq-reglang_1.2.2.orig.tar.gz
 76b797c2f534dfc0902bbfc7249b7838 9668 coq-reglang_1.2.2-4.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpptJkZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUSqEEACIX/1+PcYaHC9hSwXcjTvk
gUNIZR3p7HVTvnf7PC/Z+4h/tfn/hjnGbqCFw2i1N4mIAhMzGC5QPhnIUACrLC3W
wHFkXFq594CSwOo+dvavfryLOElTroXgTfGjyQq8nIpv4mfbRVT/BvAXsNALpuQz
Dx9I/FQUbHKYtBPuXzO9hNVozZxNV1YhUDlVtZ/Py+1Iw4XreEgmQhJWCrz7GWeV
fv43rVu4gFIRT3oGEpXTLMCscrNUyn0EFiaF7GDlgrbLnK5NvxUJ5zLbVDMoMQp4
0Zj0JBkOK9a1vGqKZRhpmj2/uHtNSD/autKHJt3xXrEsJ2EVgCpFT6DL/DBk2P+I
yXqvVq2h0BFPZYiRlRcNa0cd+rpsZgq6mVhAoWUKt/cjSV5JYdIJnKHEsIKCqcI8
lptRiNGjKdeeLP0SDuF6mvZks71k5Jjz1NGc8WpJvbZBbfopCLc+/Qm/QtA9VfPW
GlI9GdiOm0NTMBQ6WdmuAZ4QAcJUZ+aK8hgfWIK78tt2jkFGx0UaHwd+jH6/5P6w
myNOa9+b4onOHS6SefixdUQeSOuvDqt+1NyRP3DdzRZ8OII7eqIM9QxufUG9C52L
LuSscg+OJYjPIea1rv2sQD4RjE/rS24Z/1U1vIIyu5GKdgb1R5AtINEkh46dd7ba
TTx9fWZkTHaCg0KQJEifEg==
=WtqU
-----END PGP SIGNATURE-----