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

Format: 3.0 (quilt)
Source: coq-reglang
Binary: libcoq-reglang
Architecture: any
Version: 1.2.1-4build3
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
 0394dc7edd483ec2f47c8de900b36789f1510667 8764 coq-reglang_1.2.1-4build3.debian.tar.xz
Checksums-Sha256:
 0a0b853389651827ded42dd3ff21f61d1a1dbf262dd8aa1f71f4be96d9322a75 69424 coq-reglang_1.2.1.orig.tar.gz
 7d196f5d6612af52037f5705fc7f24d597880f0cf6c3e0c23a0d9cb6cbaa858a 8764 coq-reglang_1.2.1-4build3.debian.tar.xz
Files:
 39b6d7cfd0237d44e4580bf13afaf6af 69424 coq-reglang_1.2.1.orig.tar.gz
 46d9e5be78682f25ec256d95f44c7768 8764 coq-reglang_1.2.1-4build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmbdD6gACgkQLIPbyOm9
DjfZaRAAkwH6pxGnKQ2OZqnZP7Z2luRTcviIR0q5KheloWTZrvpfQkT3e8yWnQSQ
0wKia9IOVq0/74Cc+SaPz25AKLwxZB5/IpB11rgmDupaAVZmEyI7tgzqbaSmqyNh
ODSjFJtntggSIisaNmwXcznmHJ81PYL0kicMeEUutkqj4T4zOtbjOSYlWSdncOkv
3yRnis3lzUNMTbdV/HU9j/ByCUck3S8vDR1HhFzL0990WVUZ2CBzj+htnEX+W0aD
14F1j30gla91hGq/ZRkpVUjvPmcDm6AeFwwckhV1Au4CnsrwXwaMPb6QqzgIfUCd
lekTfrko/SvIoC6n5PasaXgawoZM5Lta1GtVC4XpFsdffqI7xEdHGPw+hxwrt04l
6NBJIqfYF1Q3QvOJ1fE5d6BecWvnCBdab1hFIr6fREDlQxomNTT2j+7aHaDZQnHO
tiKi0JyM6908mXfNCqaeeB0o3tl5cHWgqJhsTcLBHklcM76aNSpFdhiEVVrMCMMT
VGnwQP5aWSmKVISsVg62f8VRqaV+n760httqNXb1GiUxNmdZDhYXQ7nQLTocRP2k
mOVPxn+1qPszgszIaLb9nJMSCyiuLEiF1oZHIpqWDKjr1HFhQGAIYo/4Y7X13t6r
ePGq5dF+lFvooy/6UUWplkyCS0RCBqWK1zksJtehmhPmiofJ21s=
=JU0d
-----END PGP SIGNATURE-----