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

Format: 3.0 (quilt)
Source: coq-reglang
Binary: libcoq-reglang
Architecture: any
Version: 1.2.1-3build4
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
 2c3f4f5673a973854200e792c52f322547c3f947 8668 coq-reglang_1.2.1-3build4.debian.tar.xz
Checksums-Sha256:
 0a0b853389651827ded42dd3ff21f61d1a1dbf262dd8aa1f71f4be96d9322a75 69424 coq-reglang_1.2.1.orig.tar.gz
 ccfd7f78ee275a74641a74536b8beb0817d708de5258f748a4efc1f5dbf86232 8668 coq-reglang_1.2.1-3build4.debian.tar.xz
Files:
 39b6d7cfd0237d44e4580bf13afaf6af 69424 coq-reglang_1.2.1.orig.tar.gz
 db70b8434acc309524cb235c35b83e3e 8668 coq-reglang_1.2.1-3build4.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZeOHgACgkQ808JdE6f
XdmwGRAA2jDVUvdK0o6m55ZJ6dh1U6wb/Pd+mgI+YzJj6YgnFUqUl/YETerUxdtK
FsdjABHW599iOhef0LuY/iZg4i7+FosEKwHRmAJTZqH+OxBO3ryqT+hj6UFQj/m+
X+HwwENLt6z7c9J1bT/Oc4HkDkJnQ3C0o+2do6Bc61uDK0TPc/tSW/Kb79JmiM8y
rczu0WjpA1wm5t4kuuoK5uLY5DE3Xw8QnVKWBSBToXwth/MLCPubiRg0uLR/1XCH
IJxpgQEY3xHFq5ksiMNWuo+QVArOnvDdued3PE5bUTcwGYe902VXfTD0gNBl9ar6
eNrJaLAw1SJF4SI4w5a/sWa4uPDJbdxjQY/A76DXxpMIIi0ca2E4ClIMMUzvoxmz
nZTRSkl/AVTVNt23bEaeV0UqghLxNKh3QGH6s8GjDWKWfrYMA32DAOQeOp/67pUh
OuT5Tx9pUl9gHEch4um9CtafohKRRN5qhX+wNrLcfGIivnI6HXoG4MUZ2vhZj7fK
bPf5tIfM3uhiY/lwp0dR1MWd1xyeUpPrY1XngueKSbVk1FjoEpjRQ0LXT/djaWZ0
tB2IaUqONy9KvSki2FybJaC4j+1JiUJPRdidNyAbpYmpIkEtAyZiw9EMeeBJP/T7
si8cp9K6Wa/Li4hIUeYvmHUYcrE3X/VcS0Q/jsg2Sc8d5WriTaE=
=BuSr
-----END PGP SIGNATURE-----