-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-reglang
Binary: libcoq-reglang
Architecture: any
Version: 1.2.1-4build4
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
 f252d2a54a022d6564abb275d889783d43bf42bc 8780 coq-reglang_1.2.1-4build4.debian.tar.xz
Checksums-Sha256:
 0a0b853389651827ded42dd3ff21f61d1a1dbf262dd8aa1f71f4be96d9322a75 69424 coq-reglang_1.2.1.orig.tar.gz
 f32644baca73bbd7012c1105f32c9b486ca8941b6e3f84b996cbdbd5977f2d41 8780 coq-reglang_1.2.1-4build4.debian.tar.xz
Files:
 39b6d7cfd0237d44e4580bf13afaf6af 69424 coq-reglang_1.2.1.orig.tar.gz
 c59e9ef4f1e7456018b9504fb4dd51eb 8780 coq-reglang_1.2.1-4build4.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmbh9EUACgkQ808JdE6f
XdkIpRAAxrelbM2qh4nbKyV+fz/Qi9LSynfT0MS3WSNOhse6RuIogk5fFB2v0ior
ZdgFt7R7uXCzhPpISEJH639o58nJbf3vjiK1Wg0YikRjt9y/Ov9nkbxyT3JZkSof
YtjLIca3wFGdfkynFLkpaOuUJf6pZ9Tbtq2pmQHck0Cbfm3kfB7ceEj1Yw9vf0r/
Dn9yfJZOOQ1qSr/fJtaZDUHgngGGu6Ye4LbLCVsHLc7TCMWyW61tjXKXQUo0lMxj
hfVw55by13jKck4tFx+1If/WGA35YqJW920v4iTFEJJuv8nu3GslSxWc+ymST4QS
ZPFgGv1WHeMm/08UcS0x1L/5BSQB2mp5MDZxjlHUhjHRkcLq3PPlGJdKREcH61xd
DSofy6VANYCS3Iyk5Z8e+Y34nW5ssIZh0/yhMFsWox4zxPxdoVe64YXXLIBPZd4v
yUcbQ4h5hFsf5CIO33VlQ+8IM5f7ugydq6rB6qiSYeUKzOaCBhWHRoiEgSHBRRZn
0iWHwj2Pph5904dqfhimV+64cal31P8gDrGGHgqrAgg+xxd5rpIIkYsh5e26Rnvo
Eo1Al2cNQk141lDRZpyc0IzOSRTpcnB7Xd/Uxzuz0d0lhKdvMaCuP6+N6QJOfEUU
i59dWspWZW4a9lqcMRDIemjmwIVtZ6iMajqhlk0L+Y6euKF+Gq4=
=NEDe
-----END PGP SIGNATURE-----