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

Format: 3.0 (quilt)
Source: linksem
Binary: liblinksem-ocaml-dev
Architecture: any
Version: 0.8+dfsg3-2build2
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
 eaf439e06ca0f259aa42f6ea026ee2ec8fc25159 4756 linksem_0.8+dfsg3-2build2.debian.tar.xz
Checksums-Sha256:
 a61f40a9994299c6834a77b5c6f0180643d32b0658a107fbba43332f34079814 487052 linksem_0.8+dfsg3.orig.tar.xz
 d83b1c7993e5172b7f2e899d981558301c184a2bb8a6499c6cf909b5657ed7e0 4756 linksem_0.8+dfsg3-2build2.debian.tar.xz
Files:
 984fd25c07b56e89193adde3a69c3a49 487052 linksem_0.8+dfsg3.orig.tar.xz
 47b47e2ab54f9a1c68b0709c1ff547dc 4756 linksem_0.8+dfsg3-2build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmlSlekACgkQ808JdE6f
XdnjpxAAr2vKZJFPChqOQvxYR3eniaTCvZr/F8ckUilw9i9UggG27tl4Geg4BwnO
JWdXaxeGIH8q7dqrVQ4ZT1LLpCzqABJFctAlNHfJwh+nZ2VSZrbWjnU5bhptB96I
5w5xNBCw8oXQSwxmlzTXHsOcNu4hGoGZyJQdwMXZa0+uDdpvG/v0XAXNaL+z0rJP
5gTL/lMw68Dw9Qclvmvqo28UI1MQDzmeGT1Od2C7zARqGj+2WyfzUcl5Jsp8aw3c
7mWG3okEz8Ymm+EJZ6noKDBE5spAvRnb/Zy3n+DpEfUFAc36SKpk723WDGK9YQdk
OBhQtFuQiM4DIUyscuKiIk9XS/NJTQBLQ0psEWGjAQm+d8wxQKnYzvtfmIPUSdh7
mc0e+WwFzHT9A/yqOtvJ92UhadZ6hTXt8FEMET24ojbzzPwxzb6TDIr6kNzSeqDk
osbKs/MT9XAze3a02xfTrETO8d7ZDcla2e7V2KbbMCdOqUuhykHkCz79ryNeOQBb
/NjSsyeT6OvO3qKadwVyseLlXoauz7zFyYtjaZUZTCfN5QeescFrCOHLQSQXTbRY
+XWX0npU1cp332rPzACzA68ahWY5a4IwWRfEj8JyX+4CtPiQM0dm60nnq1xyPvf/
QzzwITZxodV0ASC7ZhxXkz4i1hyM9W1m9hvVpF9CO0R8eRpgmwc=
=LleR
-----END PGP SIGNATURE-----