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

Format: 3.0 (quilt)
Source: linksem
Binary: liblinksem-ocaml-dev
Architecture: any
Version: 0.8+dfsg3-2build1
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
 297d0943380389bf65e2b2e4c4d25fc73305d5e4 4724 linksem_0.8+dfsg3-2build1.debian.tar.xz
Checksums-Sha256:
 a61f40a9994299c6834a77b5c6f0180643d32b0658a107fbba43332f34079814 487052 linksem_0.8+dfsg3.orig.tar.xz
 4bb69a3d4aeadedc701ac8b8ef48bf8cdb1b2d0ccf37f8d09c35d277cf520609 4724 linksem_0.8+dfsg3-2build1.debian.tar.xz
Files:
 984fd25c07b56e89193adde3a69c3a49 487052 linksem_0.8+dfsg3.orig.tar.xz
 a76959c7d8cc84b889183c6188c0fb10 4724 linksem_0.8+dfsg3-2build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmiyq/sACgkQ808JdE6f
XdnHxA/8C3zi+FTOMDUR7ImQ1YnX2vdaFyoxLpuReYvyo1vs9TZgBvM/9Ye88bfx
PHwlVpVEJZ0uXalTvBlVySZhOmbvrV7RPQ2bOcnlPSSaRd3ZjgOEeZHmcHzJhbhB
x/1lsw9tIqsHQoLxc1DHczwTszpk3aAbGP3FPF9ceVisEoSfHCboIstT+2FSnXcF
kDnXJxJk8YqFDMTrelMh8d8JgkLMCGfgmlMHT8l7QYMHwq1XBuVqBkQ3qTnzamhx
dgzQdM+wishwYMsjsjg8dyqUU4NV0mHDsONE9DVcQfZs2rggN0iCXmRU5Cdl7UfK
eImVyos1+B+x8fbKd/8D79/84NjE/L8yFVdJrAqSbu5ZIkDumrvka8tNpEwX6oi7
ZHUNr56qBF2M7L4HICXRVn4fA5YplHixl403ulBPThwBseEYmw5Xf5BxPECCcYG4
Hq7iqWS1YxsxTdRe3PFBXDUeAtAuJddyWWj8kcIIaM+ayxMD295HnyG/RHAnlKx0
TNZleV2xImPM1CeR9RHXm/8w9HnJEzQhZBBnvpPapuWefx+Ad2YIPeKLveD2GFPx
cHnl+gho4R67O4bfsPg7uKQikNR9J0Yl7WdFWH8xOe2cu1b6mb+y2ufJozRBrv1a
KqvbS0t6nk1fXpePoV2E26fRDNTiXzpvqzvmwQAUNhzt6CkIpX8=
=1sdp
-----END PGP SIGNATURE-----