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

Format: 3.0 (quilt)
Source: lem
Binary: lem, liblem-ocaml-dev
Architecture: any
Version: 2025-03-13+dfsg-1build2
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/lem
Vcs-Git: https://salsa.debian.org/ocaml-team/lem.git
Build-Depends: debhelper-compat (= 13), ocaml, ocaml-dune (>= 2.2.0), dh-ocaml (>= 1.2), libzarith-ocaml-dev, libnum-ocaml-dev, ocaml-findlib, ocamlbuild, help2man
Package-List:
 lem deb ocaml optional arch=any
 liblem-ocaml-dev deb ocaml optional arch=any
Checksums-Sha1:
 fe2eb83a2c606951dbdfe710d44da7fdff683b05 502252 lem_2025-03-13+dfsg.orig.tar.xz
 803878c0d4f58285c5797fc2ce49daccde3df212 7512 lem_2025-03-13+dfsg-1build2.debian.tar.xz
Checksums-Sha256:
 42a75c255a4fba64fd56eb0c2a26a5820b5767b6328583eefd3bd925ab70911a 502252 lem_2025-03-13+dfsg.orig.tar.xz
 47432f750410800a4c1ec31f3afc813cfbf3afe4bbcf7f1320b68335a593663a 7512 lem_2025-03-13+dfsg-1build2.debian.tar.xz
Files:
 3c3ef2bcc4559b725cfd0561d7b8808e 502252 lem_2025-03-13+dfsg.orig.tar.xz
 79a63f2c0cc90b7a5efe5ca28778e15b 7512 lem_2025-03-13+dfsg-1build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmlSQeAACgkQ808JdE6f
XdkysRAApIuaooNOfBXthD3hfmmYlTOJpmfV5Y/eoSCLfalVyoEuwOD3LmADS7EX
obch9565NgflXwXXtwnRHfMDPaJRE5UqULX1Fmj/pqlraIeiozbUZScbMjUDngqF
XlAuS/i4a9ySmqVWrIlbfZizBa0TkT0TN2CEl78Geg6XSBXvruJDAaG583OZfh+0
BulePgqrDxe/FT7SnJGpwQE3f5ncjJ+WWLyx0vWcGlbRXiYFOzRhw2wBkXZSgXkv
X1LXsQmwFVjCaQ6QWZ0AMu3UrcK+TudXUso9sQNXIh+5VTSXWDJI0bWW/itLT6u2
W4FU4z37xX7tfOFDIUYuSeWVfFBOP6gSmc1oDn8WQNhvGfsZ/15zLj9yMrGWaqmH
iV3V3PsIBXKTOUI0VZGhCaKU+hFcyVjuWw42LjhsqXrk0T7sf2F7HYwE1lyiyyht
okNlU0X+wb0q1Eec0SdynX6gmNnn03W2NHUgVpY2CQ+xCQ0XJi/JKYifi+WcsiZs
Vqp6GKnlfK71bO5Rr9YEyv1AEtoLwQJk0a6X8/U01WKBc96g6WHQC0ckxJpflExM
TyHwgJ1q3uJzQtrE5MPgRiHMoebRyXDSCpSL0nC/H2+ZEabqWFd+kg2Mjb8z/zWH
jbCTSVNDiPNnHOEJOQzimLdzuAyGT+Oo+GLA3yAANWDCxvlt7ag=
=Xfch
-----END PGP SIGNATURE-----