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

Format: 3.0 (quilt)
Source: linksem
Binary: liblinksem-ocaml-dev
Architecture: any
Version: 0.8+dfsg3-1build2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:  Bo YU <tsu.yubo@gmail.com>
Homepage: https://github.com/rems-project/lem
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/linksem
Vcs-Git: https://salsa.debian.org/ocaml-team/linksem.git
Build-Depends: debhelper-compat (= 13), ocaml, dh-ocaml (>= 1.2), lem, liblem-ocaml-dev, ocaml-findlib, ocamlbuild, libzarith-ocaml-dev, libnum-ocaml-dev
Package-List:
 liblinksem-ocaml-dev deb ocaml optional arch=any
Checksums-Sha1:
 0d57d104287cb37e1950f470c3502b85596af367 487052 linksem_0.8+dfsg3.orig.tar.xz
 e4b000c8f5fdb7a2c932f2d0bc7202211dd6e654 4684 linksem_0.8+dfsg3-1build2.debian.tar.xz
Checksums-Sha256:
 a61f40a9994299c6834a77b5c6f0180643d32b0658a107fbba43332f34079814 487052 linksem_0.8+dfsg3.orig.tar.xz
 b0e6698795620d70d75d4da0097aa9ffd7cdb1dcd49d7f3d41ca2a51bf83a6ed 4684 linksem_0.8+dfsg3-1build2.debian.tar.xz
Files:
 984fd25c07b56e89193adde3a69c3a49 487052 linksem_0.8+dfsg3.orig.tar.xz
 44ce04625d3777ef8b2f0f41d60955cd 4684 linksem_0.8+dfsg3-1build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmhQbYQACgkQ808JdE6f
XdnMMxAAmMDbrqUF0OkRHfGRbP2IA2COJwOFM9w3IZTBh3AOg1Z8uggFOfJWraoQ
BTZAYlRw3F1W/S48cIQ+KxHY0yZrJiF3WVgOYdqY40MJxUFuI8pKheJMJKjKWfEU
D7JiDf3mOMhnckYyYU+UGsKyGWynpJSC1MWBxaNjFfTK+/iONM8/V8zQb9m0GH3P
y+6cmgLyti7oH3qWIN3Vf/BnVIZlU3PMsn+D3muS3kxbfvmJlyl0ijuhh4uxoaiV
s2blziZVCLf+pXSOe1oaLANxC5s6mEOYJl0URr6GLKooa/AmGV3gN93ie8VtyoDl
fEjMTGlQjngJNcrHBqZPsXSjR+x+0Dg1XUYrOvGzKyWTcue5wMwr+s7suVdV+Izz
bjVTTg8dFRoilDwDmOX9zuRvdTBPyz918tLO1UzYELkjNCSzchhjLlbtm99B8TRD
LfQH5yR688LIbJs4tGVwnekCLz6US+IUQ7jinnm28QpVFimmQZFl9H/xDlvSTRal
GIaIPwGVHAAVQ+T9qlEyPEYU+XBGEucUl/+U0wJLiE4X+kNlUEtK2ji2c2oxvTxM
VFQ8DlNSr5xHDxdI4Jn9lY8sMTCXuHUfnuuwU1qaYXZnwa0AFvtBILa9rrF2wb+H
WRWVFZQj6qJnkfOK6/m2/3Rz7FYyAGqfpReR0ivqAVyZxQmgQc4=
=fg3a
-----END PGP SIGNATURE-----