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

Format: 3.0 (quilt)
Source: coq-reglang
Binary: libcoq-reglang
Architecture: any
Version: 1.2.1-4build7
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
 6b170e449dcc90dc69ad457f9469c4c3d07c5045 8844 coq-reglang_1.2.1-4build7.debian.tar.xz
Checksums-Sha256:
 0a0b853389651827ded42dd3ff21f61d1a1dbf262dd8aa1f71f4be96d9322a75 69424 coq-reglang_1.2.1.orig.tar.gz
 07bab9cdcbdbd2a72e170c591538895518795297149b549e7710b80be4e67249 8844 coq-reglang_1.2.1-4build7.debian.tar.xz
Files:
 39b6d7cfd0237d44e4580bf13afaf6af 69424 coq-reglang_1.2.1.orig.tar.gz
 6a7a7e89dec5e557a0ff25b1c40ee215 8844 coq-reglang_1.2.1-4build7.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmc+2IwACgkQLIPbyOm9
DjfMUhAAlrEcJSRhViOBnxNtqX7WKI9nyIZQO9+GFjtu9EYhtMzdNASUC76zijDz
SRSX0RldPYVJ5/u6AJzREf6puhJrN/APd0l9s28XIQJOTHasOpOYW3QHScOBRXaz
RhY47qXaGqH7hFCDt5c92WRaPeY7nbat9iKCqUXbF/uR7djaBIklTnyhiINoytTf
wBELfWm8oVbC0oxVTloSbuNkl2LP0yfswKRt2BA2AUlWVn+tGpYDJfLdBJvaT+ph
McxWboQMySmvAU2cbivjlVhyPF0LmTwQXahGlfOMFVvOUjc7mpkHKd/hxeuuCryK
MDzvy54tdTDFKTUQjnAKblA44C7bzQqIQ3n4Ks5wvnCKEdPKFJGA48qShowg57Wc
73Q7iASeSVVdt0dD6MeitMRpQj/mxfd9vDuTASd7w6hhxRcSyOdWH46hRcGmb3cd
VEPyYj0IyJyFBdqlYgWkYH3A/rLrdLxi9TApB+aHqm2MQGxxd7QI00pihxYm8HRl
rfJxYIyun4cGdNW268pB2L2FgSqzdzClIysGCuQ7zH5eP30fr+Y9zHCupiBiAQpL
FU6gn+XWnP+ZfBjNoCcR/Sln4cxk4pRbufsMryuD/V8VkJyWhBwInzgpIrfiVvlG
vlQGZ5yPCZ2KuxjUL4vSs4PYOvBnyOM04P1N66E/CeX/SK2um9c=
=cnoD
-----END PGP SIGNATURE-----