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

Format: 3.0 (quilt)
Source: lem
Binary: lem, liblem-ocaml-dev
Architecture: any
Version: 2025-03-13+dfsg-1build3
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
 4845b542ee3eddc5c605c9079d8144959cf3466f 7552 lem_2025-03-13+dfsg-1build3.debian.tar.xz
Checksums-Sha256:
 42a75c255a4fba64fd56eb0c2a26a5820b5767b6328583eefd3bd925ab70911a 502252 lem_2025-03-13+dfsg.orig.tar.xz
 4d8550552d86e70d98dee2c661a010359ab29e8f47d05c84368b39ac13298314 7552 lem_2025-03-13+dfsg-1build3.debian.tar.xz
Files:
 3c3ef2bcc4559b725cfd0561d7b8808e 502252 lem_2025-03-13+dfsg.orig.tar.xz
 3bbf965d7e65840b7eb311b79e97452f 7552 lem_2025-03-13+dfsg-1build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAml0KWEACgkQ808JdE6f
Xdlh9BAAhW6U+PmbUBNxQpJRJVOtTDiXsRRr/MbVgdh60VjAM/UZJxsD4FRX7KUE
cLDjsATvpEo3ykr0FWHeeSFOlnDkBGyN0ZbVxWhHdF2VZaVOQ1Z+YV2yM57zS9JT
we6ZgW/WWRvx1F5cFMpQ8k5Q+c+E7Mg464mtGKTGeltYb6Il8eLItMQDPmueuVAg
5z2LElqZZ8vOtoTvgfAc0nKddi2kdYVQj7on6KueCgeh/Lnzo/p7BSLgItq0niks
mjwcEr8RZrkkZAsKznxYYlgKwDQPDbClM9wIzFD8h2n8Qn6ok9rplPsDInCn5flZ
+1fI60/Zlfh/DpnruiknZIDngiYSLt6LsO28QYEM+EHrnn7pqhTYQ5c2Yim+MLh1
3Mm67VCG0v7rt8JNBUt3tqY5rTTHCpp4CJl0xRJD+EgpHtSD/4eB3hVpwoivr9/N
uHa6oPIWTi1wdROvsndxvRYpfehIYoazwqnEThiDHWjztM+iK/VWSTvj70aftqcx
XIS9bJcbNOmfEMvWp4fmFKQ/LHTqNVvGAeWrhosx6BQeepszmGyKgJ6xvjjGjEPZ
Ez12rIpD7inYeVfVyT7gW25M2hbLeqKQcqUFY9YPmSrJNnVkJwbh4UEQjzirkIGS
ZgsIG6lEQBrXpLw0qNHvKcg7aJkFD7k9SSGVH5TU/eImDwSxw64=
=IHUi
-----END PGP SIGNATURE-----