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

Format: 3.0 (quilt)
Source: linksem
Binary: liblinksem-ocaml-dev
Architecture: any
Version: 0.8+dfsg3-2build5
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
 ee80d29bd1682ed5e3192da4bf47b8880bf3e235 4844 linksem_0.8+dfsg3-2build5.debian.tar.xz
Checksums-Sha256:
 a61f40a9994299c6834a77b5c6f0180643d32b0658a107fbba43332f34079814 487052 linksem_0.8+dfsg3.orig.tar.xz
 054ba0d150cca2ab21fab634eaa851c82c2488e4e248f2d05d2a507ad9770b46 4844 linksem_0.8+dfsg3-2build5.debian.tar.xz
Files:
 984fd25c07b56e89193adde3a69c3a49 487052 linksem_0.8+dfsg3.orig.tar.xz
 6e53501db7dfc1e94287b8cdd0c83de9 4844 linksem_0.8+dfsg3-2build5.debian.tar.xz

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmmgx+gACgkQWWH9vpxh
mAmNnw//QYwj4N8cVDq5ZZkEemTLgrXW0sCB3GPkZwEV4YGlhyrr3DYlkkABNGXn
mkqQ6aHLkyFGSQf5e5SzbnMj9tNzs6YeodeHbogpmeIJApKcL0g6kPtklAVje77w
D/lh+LPhgab1FmdEqZXgFEQM8eaI9h2+Qq43RT9zc7wln6a96U3B5kXmn9TXGTYp
BYJZZcf47cn50Wrp3RqhePoBkqy9q90Y7NUZmlcpVCZw7nP2rM3hXNoeX3OFm8sX
RKYaATZolheaYXI/2sgNVVcVlh4PWV88bkGjse90lIW2qMzjqCKPVu/GYg/Nig5I
0ujAN28yS15LbBSh9x8IjDE+ZvbT2VZcIxO3u6yNGC7nwm4MbVQ0mG8YNArMk5Bl
ojAgjP6gMpGRzhGTyMb7/HZQeHptKits+Ow5DnfV1Bluf0IIWLuHjIlryEkxrnc8
dS2n366bZu9jItviJeMacRewomZpjGhYq+Be32gA0iSZ5hInXnB3xdXtSPApo1jv
lNMs19rfqzVXeqennbKItyFzkJm8/fOmk0ko+73J8Zm9I3G1XKqyXg8OtmLCW6U6
TboaEpq/M3atRwyNjFg5f+k0aHxwxgiYcCPICM3ODPRMbtt0Md4FRcsiU+EGCvsE
Lj+X0jI13VjMaWW3a/rbjJcJjLrcjEQxZPNSX35TX1dbMiQsk38=
=ygWm
-----END PGP SIGNATURE-----