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

Format: 3.0 (quilt)
Source: linksem
Binary: liblinksem-ocaml-dev
Architecture: any
Version: 0.8+dfsg3-2build4
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
 57d311f09fe446f875f8222f2af51ed162c18341 4836 linksem_0.8+dfsg3-2build4.debian.tar.xz
Checksums-Sha256:
 a61f40a9994299c6834a77b5c6f0180643d32b0658a107fbba43332f34079814 487052 linksem_0.8+dfsg3.orig.tar.xz
 4d81a1e72481a5397db821c4c425320c1bb033fc8171cc74699baf4a51feda3c 4836 linksem_0.8+dfsg3-2build4.debian.tar.xz
Files:
 984fd25c07b56e89193adde3a69c3a49 487052 linksem_0.8+dfsg3.orig.tar.xz
 c1e7403c0fc24fc2c40dc24574379f8a 4836 linksem_0.8+dfsg3-2build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmmfeQ0ACgkQWWH9vpxh
mAnOCQ//fDnL+yFKUXw0dJwSTgolpITN92DLPkT+CqGKLUuSnPgIcRucKxssAoTX
cQqFE5RRLtfVuvqpuCZ/BvwZHZJAk2av9B+ttd5fZ1lvH9rcA19wPwb69vIUZQ1g
b15Ajgj61kC0Spi1p8/cTRbuR49U9EMLJ8puUSk+LjKYuxETEklnI1APtRAVNSC8
SiBNkIbP4hxVWMdAb3PQ2iGEv0EqIeYM9A9lX10BgKcw2zZ84fYv6ZM1u72JsvyI
W+QFk1LASfJcHMwzctE9lEzhFmCUHrFXdsqfKIoAaHem9f6nWrzWh/7kqOx0Tp2o
Hwac3rMNFdzcFW25dQTjLs04z/pKLyIKXXrpK1K0hBOfx3XOmAJk2GmIdyomYNVS
zsxujiSP6xSKBGJcXMx43OAap3uPdF7l7F2GW8pDWNlWeC+VBElYr9ebYm01vUlr
MCxruTSNouZNEjy7mmG7z7XdPNruRPd11kbOAZSBPu3hcxrh/3bmPvsfuHlo23fd
soZSCAn6v1lrkopg9/tNpmpJRVtlk57dtPUUvGMMXD4FjEHiYJqA5f5faT+hTaPq
kOOPVGfVFfsxVvpZm2XHH/gcxT0yydR4xpO4TOA0/8wWYbs3BcA4VAo/HKyDK7d2
h6sMVOOSt1ziTgn8UzUwagUY8uYRBFnwxJaOqM5npeYAtNugUNk=
=U5XU
-----END PGP SIGNATURE-----