-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: linksem
Binary: liblinksem-ocaml-dev
Architecture: any
Version: 0.8+dfsg3-1build1
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
 93f2c3601b0848a2657055809dee969cdccbbc83 4648 linksem_0.8+dfsg3-1build1.debian.tar.xz
Checksums-Sha256:
 a61f40a9994299c6834a77b5c6f0180643d32b0658a107fbba43332f34079814 487052 linksem_0.8+dfsg3.orig.tar.xz
 72d341d83e6f803b1dff33f78e939e262d8ad337861d3cdfb0609fa5b7143d58 4648 linksem_0.8+dfsg3-1build1.debian.tar.xz
Files:
 984fd25c07b56e89193adde3a69c3a49 487052 linksem_0.8+dfsg3.orig.tar.xz
 147b0f47435bcb232dcafc6c98195ea9 4648 linksem_0.8+dfsg3-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeaIisACgkQ808JdE6f
Xdku0BAAl4T+dmg5HAqNJe2E+D1U5Nw9or0BuMfJsqQ0VBn4MUfhBjjZJjIzPbnv
tBR3ig+oi0GpD+HK32onZ273Ob3FrUR9aogpv+JBdfs2Vm+tI/ICsF9+97slbdBd
WkS9/dqPytcu072qdRjAB47TtMsplV/Yn1V3maiJPZ3M1BbSFDy/lDyISotnmcaU
bbank5BJ+dmsfTHwUnjHJAre0N7fAVpnDF8wJJmPLXkySXltFaYvPAhUv6W0MwpJ
w40HL4Op5rsQp36CpJ4xJjPKeFGzoeMcahWodTt1Shgmpda3lrlcjmPQunf0XJFl
ThzuWaJhyL5MVp4WcG65FJqn/3Txz1CIykFoCU61nMq58jWyQYsJcvgPEOS/hgRA
8KoU8jUSR4ooKDoPn3ivjEMoaqVOfXySxoFMZE9gaFK8zXjBVE4Fz/HXX2r3NGPZ
atO4qnYH3SIeI+nEV4mSEzr12T/Is9IJXeHryll9FIzssarmqcGH7SudKf16ziA9
Y0jye7+9dyhlTIUnMPKxJ1ICU60LaagWa5l0Oqcbio96Q/ZYs4kb3xCEgpDKT3po
OyIVP9qcz+ddRp1fE8+TVWmF6vQQ7Cd3Hpo5J0wZBPFIRs//syVMWj7pYdxtX0CY
xgyXYmy8RkVxOdiCmTXxT1BEpihrV5/6WmuVnAMo9m+DpAsYF/g=
=d2XJ
-----END PGP SIGNATURE-----