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

Format: 3.0 (quilt)
Source: linksem
Binary: liblinksem-ocaml-dev
Architecture: any
Version: 0.8+dfsg3-1build3
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
 2627fae7a6a9fdd1e14455afcb783338c5117dc6 4700 linksem_0.8+dfsg3-1build3.debian.tar.xz
Checksums-Sha256:
 a61f40a9994299c6834a77b5c6f0180643d32b0658a107fbba43332f34079814 487052 linksem_0.8+dfsg3.orig.tar.xz
 658a13b626c055261b7306931ec32c499b58dc483b930ffd05c89a3bde03511b 4700 linksem_0.8+dfsg3-1build3.debian.tar.xz
Files:
 984fd25c07b56e89193adde3a69c3a49 487052 linksem_0.8+dfsg3.orig.tar.xz
 fa4c0807b8a8f070345ff0d519c11034 4700 linksem_0.8+dfsg3-1build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmhks+4ACgkQ808JdE6f
XdkvxA/+J2c/Yge7lyUbTOCIHhL5iGFRk/TB3EOA+yi42A0wuSyC5sXZwD/vO+R3
tibPRcIi/SDMSLP9xYEnTDxtrAxJPCMGxKwW2BtGB4NRf/FG381lfuVXLPMI/3uw
2Bgg0W5Vb02GuA6eFrrdviC9v7mKPTMjiT+SaMTeeKGbKnxGbecogk9uPDshMCQd
7vlRdNxHiyUDHqcRN03xlDsnwDAz0AHT+vUzeBjN+62l8f78hcMysx81ygZ1vwHB
NzlGfsitCPbvgcL/sUk1lbg65oGZHodh3nbdH/4F+/TWQM4geRvhFTuXZLrD9pQL
MZ4qWUVgHEoiTwccgYPiFGXKA3ajI40FbQpugCkTsf4Oukn/Mi5hv/uxx1sDUVI6
zIv4ctvln6xsYwEwPWC5eCgebFflprlcZoQSNufKo3jOdVz0V9VWjltRKpOlE04f
nHhZmOwKZGnzhWgWumldWqUm1CQ+7CNnbai3NIErWPC6AXbGMzg1x/OL47LVmU7Y
JNORYqQ0efr78h1g+dFGP3vXE37FqKa/U2Q6pea0bqS7SVc7JK47spoLtkrUCOhn
hJBxSW7JEGxwOQzhax0l+ZSAp7YFjYMaAmRBj+BHxJGnqqyZIYt0M6+EJ8hpa/Rc
BGTsob40ul6DVCZqhpAVKHsL1gYEJAVS0q9PSdJQGRinal79+Sc=
=ES8n
-----END PGP SIGNATURE-----