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

Format: 3.0 (quilt)
Source: coq-reglang
Binary: libcoq-reglang
Architecture: any
Version: 1.2.1-4build13
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
 e29d00e048eb555f8a970984fea658b9d0e4b13c 8968 coq-reglang_1.2.1-4build13.debian.tar.xz
Checksums-Sha256:
 0a0b853389651827ded42dd3ff21f61d1a1dbf262dd8aa1f71f4be96d9322a75 69424 coq-reglang_1.2.1.orig.tar.gz
 915f5c50dcbea10b645b6189dbdbb783aaf0503b98a0a42a33c8b937d1b7864e 8968 coq-reglang_1.2.1-4build13.debian.tar.xz
Files:
 39b6d7cfd0237d44e4580bf13afaf6af 69424 coq-reglang_1.2.1.orig.tar.gz
 d3c0963b092608d66f67a2c33b53250e 8968 coq-reglang_1.2.1-4build13.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmgclJYACgkQ5mx3Wuv+
bH0QXhAAzybdtmofYkgTE9dDP/6DVNHiSafddClJQryNMvlUghve+aBV8SSHMw4X
vuyLPh3YjjzyURHHQKvza0LH2jFd6mw7p9QICgyA263JTM1TX7Wxawhas7A/wf1e
jOMggO59rcjRDcYD4zqLl/POg0Aj8oXnYERG2Uyltry3QAFA4ZBZjKdUrA1CzKKC
RkcMxT9qF+6WRUBbXfum4RKB++0vO69cVnJdop8EN8BUyPKbfbk6b21El2V/FSSL
aZ2eo7O8NhNcM7h0BL6/Dy/r66lPVFk5lbMdBfr+J/0UFInMEEsDHaF6k+fuWC9G
mMS56FXcWzGptTP3EuG1sm/fdamXxlon8pngtcw3J0OUujxqB5UwYV3H4lgare7W
HHBrG7OVCNJeOqpQTv/9dLH3vkQng0awo2qX1NdLGjUweQXeWFfN2Zk3Xy7ZiUxQ
+XpMTc3kOlT1FVtyPynTG1bcSr4cMk0QrOu+xfBxU+Qyt9Bp7U8MV4BYq0RBa8EA
bTcL1uNIt9K5tG1SnW2oJM4DxChr6/zW9hTKai4Ok4uN+92svaPn5xTvJY87QfIb
4d5lHegByRWV8vdWa9ntHsMXdVptXdsddKUam0lM8U5uuTUOgDEVKOlanuXx0R2A
YX3EXPuoD9PF3sdBGXLDZh3t9qVNEqXt2S54vIWLzZwtl/UedmQ=
=zYOR
-----END PGP SIGNATURE-----