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

Format: 3.0 (quilt)
Source: lem
Binary: lem, liblem-ocaml-dev
Architecture: any
Version: 2025-03-13+dfsg-1build5
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
 01047942b1cbf4ecdda498a24caa93b6cbc8e6f1 7644 lem_2025-03-13+dfsg-1build5.debian.tar.xz
Checksums-Sha256:
 42a75c255a4fba64fd56eb0c2a26a5820b5767b6328583eefd3bd925ab70911a 502252 lem_2025-03-13+dfsg.orig.tar.xz
 4e75e98a5bf09976420fcb54976814cfd64e7a735dd5be7d4c3f8d8b0b6a19ae 7644 lem_2025-03-13+dfsg-1build5.debian.tar.xz
Files:
 3c3ef2bcc4559b725cfd0561d7b8808e 502252 lem_2025-03-13+dfsg.orig.tar.xz
 ccb6c541afa5d6e801079cba681da6bb 7644 lem_2025-03-13+dfsg-1build5.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpMKRUACgkQ808JdE6f
XdnIUQ/8DbJwtLHxwmX+3gd0LKFplpyLcfFIR9jR7W6XqFycrvrsr9PbXvr8W2TB
iI8peHMVpL8kc3C5nN4ffJj85J/jgo5WPKijnEdDqpddZspqMwe7A1z462CDYVyW
aS9EuJVAH4H/6iGerC/1wjQTmj9f953kGhxP8R/W92WkFhSU9qLF3mWGNOYgfGv5
1oYHr7V2rwPC5doSwSx/u6bPZ2FYvIkvBzNH+44vSQESAH3AYCMaJMv2LEsyJgBi
vWYRkUJ3Ck9UZbPySBo1gdLhO0Es93efgMM8Iv+SyLSCQT8vFMvCgyFoALAOtoSz
L1zfypJNvdT6YtZe4quKLm7bLxgva66ORdXtf6l+XjJFbZbkZ1VAfncY/WKNVMgQ
ne64rLC8f0QK5GnCNHfngEtgi9TwKillwDari7p/I8pf4T+vr2SsqydNNgXBCSae
l7x9Nfn0hqUnWVartOgxqtfZpZZa4FLc/UGV7wqzl5tHY2EwkbbrjRnLxTV5vWz7
ekqBwFIVnRp+ruExXbg8/kv685auHN1Ash4IOULKffX9PMEFUm9CAsJ5xB1iyNM4
stkp+sMQ0r7qZB0hh260mKWtE+fv2lSGWx5jtlf7qGlpP20jyiG5X+C4JRP2goeU
wAFkSyHeioB5CEObA9X/GYseEXJblXqnNr/uc+kYjKTIVUdowc8=
=n+ZM
-----END PGP SIGNATURE-----