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

Format: 3.0 (quilt)
Source: coq-reglang
Binary: libcoq-reglang
Architecture: any
Version: 1.2.1-4
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
 760ebdacccb8475c3abe51317324885804c3b249 8632 coq-reglang_1.2.1-4.debian.tar.xz
Checksums-Sha256:
 0a0b853389651827ded42dd3ff21f61d1a1dbf262dd8aa1f71f4be96d9322a75 69424 coq-reglang_1.2.1.orig.tar.gz
 b53574e1b305bdf83f6ef6fae9c5e443744985c2f8d0a75b0c53d9d980c1d13e 8632 coq-reglang_1.2.1-4.debian.tar.xz
Files:
 39b6d7cfd0237d44e4580bf13afaf6af 69424 coq-reglang_1.2.1.orig.tar.gz
 4b5264f6e78afc17eed96fc5c59fe954 8632 coq-reglang_1.2.1-4.debian.tar.xz
Dgit: 1eec03ce357a732befff718b8c4be583bc099950 debian archive/debian/1.2.1-4 https://git.dgit.debian.org/coq-reglang

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmavHCgSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCB9D4H/2V1H13lD2WTrbb4T0JRTtAhsX6H7s2W
hkvaA6lfkIcZj6c/UFJtTnC723uVNMhn/BViYSGQCWk59GvHY16jgWM7xJIQ1lKc
YkQpBzPLt0UDablCOejpi6ZoytWljFQUoyeZyiW3LiSyA+GFQ4o6molLftlUbaFh
OUst0eGHXLri4Kaz1wwpw8o0ExwLF41cOcctRx3uEdLMqRlVDWY8uwWiQ5zDixrl
3IFY2VOiyxQbmJ8LvTH0UbCJGU7cE1SIN57/nSNfs7aiHb0hI4Jin3nWsefahCHO
vHlrAQljeniCzathIeA4Ggo6jwqfyP2e5b61QuoQy1YDdvW3fbH8MnQ=
=IA1w
-----END PGP SIGNATURE-----