-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: lem
Binary: lem, liblem-ocaml-dev
Architecture: any
Version: 2022-12-10+dfsg2-3
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:  Bo YU <tsu.yubo@gmail.com>
Homepage: https://github.com/rems-project/lem
Standards-Version: 4.7.0
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:
 99aaa1b0bc08a4bff4a07f6f10da25eab9fcfeb8 500444 lem_2022-12-10+dfsg2.orig.tar.xz
 f1b0be1df32f43844d82ebe7a33805e160acb9fc 7312 lem_2022-12-10+dfsg2-3.debian.tar.xz
Checksums-Sha256:
 23e8d08c6fe395853bf2f22941543b41adb805d8a8b9b29a6ffa7291c2abd822 500444 lem_2022-12-10+dfsg2.orig.tar.xz
 d20a121efba655922020e809bcb8d47ab795331eb1621431b12b4ba2e3d9a01c 7312 lem_2022-12-10+dfsg2-3.debian.tar.xz
Files:
 10e8eca9382d758d7641df0be88af534 500444 lem_2022-12-10+dfsg2.orig.tar.xz
 ec4e60666f97caeb59d5f547a91c1305 7312 lem_2022-12-10+dfsg2-3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmcFPgEACgkQ808JdE6f
Xdn6pQ/+N/9Mb9d57Zo4cUw9Qn00qZnxt05klP6MDMfZHj7yDH9MISfhi42WDjr9
efIkYjVGonPa9ZdImBz68gzrsiiTHDSCRn1LsX1S36BaN8b0/WeV9pjb8kcSlWau
hTkN9+4SCmApN2aVRMBUpAcCVTsM06+mm/o+khgdsCK9+BfkscX5A7nKO4rc4vCX
Aezc4vnSN6Fxc5p5WVBxJ8hsxHcbFJE7og/bgSKZeTHGS7Tfvz+bB8UHRCWFCYc2
b+/d/vf4MubBjZVyIcdDXON7u+a0Ggy2eh0jKPb7TDNNZnx3HTlh1+eYoZDyZN66
0TnHPERRcAu19sc0nN+znvcRZF+T1zmvgaNgxDnO6Pfaj2XEhkh23vQIQofwpQiA
AwRVHE23quE+JY83m4lzXjKDajsS98TxfehcjoMtA6OKHQ+JGcMF0IAx+HCQ4xTp
RZXPP+Q90LE7LqujmkpxMJXIPdz4+2rjhp8xAhGuPqH0ZMU4qLgXYq7QvkB3+j9P
yh0WTaHwEr3e+voH8b0hsrLZQXCEhsjW1M9jyTfieOFT7zp8TjA6mcB4IgPNs69U
JgBOyelbAKu4Z6uBTxiChXp4p81aLE6RaLgKkB4mdP90VzecufysM5aGsQTiVHFj
65GL8WpmHXa8gvl5n7KwMbyTFyUjvvBb3kVoexuhwITAHdJuGp0=
=LpPD
-----END PGP SIGNATURE-----