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

Format: 3.0 (quilt)
Source: linksem
Binary: liblinksem-ocaml-dev
Architecture: any
Version: 0.8+dfsg3-2build3
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
 697db8ac305c343bb4dec2320ab679bd17822c47 4772 linksem_0.8+dfsg3-2build3.debian.tar.xz
Checksums-Sha256:
 a61f40a9994299c6834a77b5c6f0180643d32b0658a107fbba43332f34079814 487052 linksem_0.8+dfsg3.orig.tar.xz
 8c1089a971f7ae598e7b5025a5b60862a40da2625f73a061d7fe13d15d37183a 4772 linksem_0.8+dfsg3-2build3.debian.tar.xz
Files:
 984fd25c07b56e89193adde3a69c3a49 487052 linksem_0.8+dfsg3.orig.tar.xz
 35d5699478e04f519772acd2d9f545b2 4772 linksem_0.8+dfsg3-2build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAml0Kn0ACgkQ808JdE6f
XdmPQRAAvqF52oYlaqWFASwpguOXA2kuzFiIwmbul1W564Tplbil/YWpLWArxqZ9
tUo+/mly/s+/B7Mvt90tDaUOmm+fKE4HN8AiteZ7A5iKk2+tTZg3QYt5acc27RHx
EAt0VbRatYU4a15iSbhO0uVXiMJbmQXa+1HKnsCKrnez8GteGS+VcchZZIpkWqxE
qT3VubeM68jE7oZBfipN6PHFkmw/JuCFK0zNv6sKkYQk2u/JH45mcxdTRS55lq3y
MaWFnc/Pveqv/LQeQQgfoMzCBwyXYvbLDMk7rQxvyLdsgY6mAkFy5b090Kf89HCi
rX5KX3dBRgemYl7pD7lB4t358gKxWlpplyouyqxViKBHH8J9w/omHZ0bqNnHO86L
aSXXtFLNRLqYJts9xaBeOq4YTU+FdZ8DwcNB3HQgvxA7QzymakYlksQb7u161n/S
XelrvRK+j6twHkPFqmmv0nwVE8Xh5yHPb5uwv2QJ1zai79iOdCLMxpsuwGjrKaXN
o6X3iY1Ze7uaMyru9zeCPEPZ7NNNAsStvFUb09Y0CKsrPn1yEAbpxC9bhXjnzst2
RgkJc2nosNRUPi+iMGV7YibI7Z3Xrpaa9w134EGYqefe532/X1kYXtFtOhXUmvuv
ONTUymoBt4IjPv1XWtLO981Xch/8Y2iyt77dhSwidBnoONW8nGE=
=if+w
-----END PGP SIGNATURE-----