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

Format: 3.0 (quilt)
Source: coq-reglang
Binary: libcoq-reglang
Architecture: any
Version: 1.2.1-4build2
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
 5ab72608399e5271b7fc47740142f58b38535d1c 8760 coq-reglang_1.2.1-4build2.debian.tar.xz
Checksums-Sha256:
 0a0b853389651827ded42dd3ff21f61d1a1dbf262dd8aa1f71f4be96d9322a75 69424 coq-reglang_1.2.1.orig.tar.gz
 6d478c4d1c10efc06dffeb40da873ef4cc2e407b38a7842106b141dddbd65abc 8760 coq-reglang_1.2.1-4build2.debian.tar.xz
Files:
 39b6d7cfd0237d44e4580bf13afaf6af 69424 coq-reglang_1.2.1.orig.tar.gz
 f9e45373680f5e24133afe20abf0d54f 8760 coq-reglang_1.2.1-4build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmbbhdkACgkQLIPbyOm9
Djc73xAAkgqTC00dLE0RXxi7q8dkO+dI3dQ/LL/+H/JyNRPcisAQnyWNqiPixBF/
fwbt+etH/wGhJH1bsS8sG6zSUnksnpglqaIJMKyyO+tBerDeZDAVuhvVBzeA/kxo
AY7e7PZJ4AO7ai6uQD12ADSNmfbe1Bg0HbZhRd+o1HerUn4Qecr+oEphAJf3YvfT
FoAIHEoVXKPgvN7Fpt7rPhZai25WgDySFSpAyhXpIUc7wItVrOHl5UnTT9/T8boA
ngNHK5N+L4jHNDtt6zNIEuwQ9si3f6l2EP1XrOxLz4WMmmzkj/IiOrHXwcs+i+Od
z/1kf4+r/f3Do8UvTyIUyVCQnfqNA/5AudWEtmZisxmyGpbvoWmOIJII+qImMzUp
e0AuhCLEXVr62V9F1E25iu6MnNtKtWPCIC8FP2WrOE9Yw1NpStAJAVKpd8cx0aks
v75QQV4wkLEv9PMlDHVYIfJN9W1KC/T7uKeTvf7+bTn2WCEaqtpTRV4ok/ym+L9c
nQzndzyWLe2RUMdnHCku/6qb3y4VVPHK3ps/9kRA2bIWaVhwThfy04idVofAQMo9
8VCcl7bmuIbjV4XxnKerCt4jkqkgJa5Md0al6v2IKf2XnBmCnvYjUiOVzsrDaF0/
staK9fjMKkT9xog+oRMe2m3WCrPyMWJwRM5x8yDw9zWAWyecrCE=
=zgnX
-----END PGP SIGNATURE-----