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

Format: 3.0 (quilt)
Source: lem
Binary: lem, liblem-ocaml-dev
Architecture: any
Version: 2025-03-13+dfsg-1
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
 93e6d7741888ddacf79a3d4453d70d576e36a951 7408 lem_2025-03-13+dfsg-1.debian.tar.xz
Checksums-Sha256:
 42a75c255a4fba64fd56eb0c2a26a5820b5767b6328583eefd3bd925ab70911a 502252 lem_2025-03-13+dfsg.orig.tar.xz
 f79644cd5ae9135613103dccb77b7ef462fe2c2f2ac1e25f6c8fd9707973f05d 7408 lem_2025-03-13+dfsg-1.debian.tar.xz
Files:
 3c3ef2bcc4559b725cfd0561d7b8808e 502252 lem_2025-03-13+dfsg.orig.tar.xz
 9bbfc40bcfe0923de45afac066274106 7408 lem_2025-03-13+dfsg-1.debian.tar.xz

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

iQIzBAEBCgAdFiEEIcmhjYVTlmab0tjp+RVP3hQ+S68FAmg3zH4ACgkQ+RVP3hQ+
S6+eIA//dJDgQ7JQyHIAhI6kFjsbqFdVjnoI99Fbw2RCzIpyOwtdy4uShE/RnTsC
F0af5NX50hlr46Fo7XIUISI/UONxMBKumBg/nahAZfwxFduPPRpJzt1RMVFHL5+7
VIQGSrq1h7h7OP5xJ79v8A2h0dsYPasSy5PHEoLbkgkugbv3PiK/f7ktfO/ZafVF
tZwiRb4aWq7/GxNP5CsWi9YqgSlTZ/wMwx3qcI2NiDGQ/l5YB4TTWjJYT7mkLLf2
H4no77/QVORLVT1d+/Wj9zJkwaj6CEvBNizV+sB80fBp2/v6nbgN4HTpH16o1fqE
c9dyB++MXtCsbJjtao/VTzlGdnKR38jVC+yG6b/qtdcf0ijpxMuKekbHamEBfySK
RXHs43lOPi7yqlpYk53z7bqRAg9LhdwB+3PGMuYNaIFE06IdubU+bulXlMnEf7zJ
mamhEoAzk5yuOfmQUTJVLtYKf9fF+lx63aZV1fWX/p5bWAyhlCWM1KlN1HpqcZVy
qorZiOPF093gKxduGG3Ry/5VnVy6BdUAccPu0Jvr//SCh1XKdrwkoDnhL9gA7WjR
hIMMXiqbhr2pvRMXaVJybEjzcEY5w3nYYiHpVZdd7wQ5AyYaLJHXWVW8Y6pdiFAe
ipYzA3KwzMaecolZVbhIvx0UPsOlUP5XXrSFRHKEzQIxaaJfAK0=
=UGzJ
-----END PGP SIGNATURE-----
