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

Format: 3.0 (quilt)
Source: linksem
Binary: liblinksem-ocaml-dev
Architecture: any
Version: 0.8+dfsg3-2build6
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Bo YU <vimer@debian.org>
Homepage: https://github.com/rems-project/lem
Standards-Version: 4.7.2
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
 b6d7ca9590e61d3c2978de018e1eb08bbefcabcb 4872 linksem_0.8+dfsg3-2build6.debian.tar.xz
Checksums-Sha256:
 a61f40a9994299c6834a77b5c6f0180643d32b0658a107fbba43332f34079814 487052 linksem_0.8+dfsg3.orig.tar.xz
 5bdcc862600857c1c6c24c242c82a6a7bff56b77aa2e2bfdde61e292c24407a4 4872 linksem_0.8+dfsg3-2build6.debian.tar.xz
Files:
 984fd25c07b56e89193adde3a69c3a49 487052 linksem_0.8+dfsg3.orig.tar.xz
 c904c4502fe069523312c493fadb79c0 4872 linksem_0.8+dfsg3-2build6.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpMrDAACgkQ808JdE6f
XdktPw/8Dtm9POFCjMvIZY8tOLHmoOkFf65y04pYIIjz2bKBMrgRXppf6J+C5LF3
ShiRMsgR67A5SRx86FSR76DaYfR0kYC2dDEHDbd+F0vNgvVlMrDAwnp3Yq3EJ135
afugIMSnjSUu4SrMzfqQEZeiaCsKXcBkT9m/cp472FYa2RyoKYlZ2c7PzEDa7EhR
iGp5/WqTyta016lHV4XQ9LBbiTJVFn1TDKPAmv264HSfgXsif0OHewvTKZdIFG8r
d4Hj2lczeIu4sGSZHTSzxV8qNjSJaGn2/RsVX8YjMtq9pV6UDWTS1uU6MVKDLmwI
1F00vez5gHEjyULk0qFho6jf+0MYss7Wc7hnrkRwfrDULoRy5t2bVVVt1ctnwCk+
7GQ0VXDShyzd9BRlh9t3xpGBJ4GzkbxRADxbE/ONJuAS2bd01eqGv2Fs22wABNbo
y8qcTKi/eDpF90cRM2z/3IdlYjeSJMSmfKh61zt6sqYY4jLbPA5MHZs7yJXCpF56
7Rul6f6y0YyJbf+9tVRtGkovZPZhnhPswubtqemvu2ve4rk9wQNIqOkd6xj9OPor
8SdA/BI6zfiZKHQafR0WCwuzNvXTdD8QNVCgJ6ztEglgxreYLlZqnIHb2/uZU32S
P/m6nSPquRbLYbpDhxgKhQ2RWLODRE8MLkfiZuaNAvBg+i9Iosw=
=XrJK
-----END PGP SIGNATURE-----