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

Format: 3.0 (quilt)
Source: lem
Binary: lem, liblem-ocaml-dev
Architecture: any
Version: 2022-12-10+dfsg2-2
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
 7e6ae4579c61a906db4f04136f69ab29d9387ad6 7304 lem_2022-12-10+dfsg2-2.debian.tar.xz
Checksums-Sha256:
 23e8d08c6fe395853bf2f22941543b41adb805d8a8b9b29a6ffa7291c2abd822 500444 lem_2022-12-10+dfsg2.orig.tar.xz
 fdf73814f1e3e0967b8d1eac0a3e5bbb135f51b8ad0813a85fa03f85c176d202 7304 lem_2022-12-10+dfsg2-2.debian.tar.xz
Files:
 10e8eca9382d758d7641df0be88af534 500444 lem_2022-12-10+dfsg2.orig.tar.xz
 fd339da3730603d469a3f46c947827d6 7304 lem_2022-12-10+dfsg2-2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmbpOWwACgkQ808JdE6f
XdmWoQ//RRp8W3TTD5jAlqbcvh4X9TbRJgAvc9yKD8lwf2xQYYV+HraAsDe2o1gI
MrGxNY/UXWr6x6S5sycgJNb1cW6+Q8bp5ur0shtptQHrnUIft7iEFX3l0xzj0pA3
FVHe4uBHEjko2hIMmdWhfpHZYWPb45hN8+pLV2oWU/4aL8vUBN5WTMSrCDfbCYVS
vfalkf5jPLZsanQ0LAGV6/gpAIQd9odXIApI+h/vjNtHZxEDbbDqixgYQAvY/olr
BBcFRcBf/n3U46pHbEueI/X6JPL1m63wYeGRg8+0z7MmvKDUVBj+BUVOqFn2d/by
tpDmDOZnroC2QM/Hwd5ZWxIA6nm+nwT9XM6faCU5yYCqH7dZ9wD7+4q93d5Ew1rv
mSa7KKWm7PdA47+3wwDS/25zwcH42lmDq2xsv+VDqbYSfZzxRSnLlSTP1co9dWU7
t3bT7BbBvrEyGyp/MvYe0k171kxuS4XQGLdkTi8zqqfzDfCaQVdxTlHPCzdjBVP+
7MjOioH+wUrvPOtHQnjbgrtpm0eqFSqaKAPm3qlJT7zapG/cjPyhivvPu08YuSp0
0oPFZSqCIEwwMRaVDQTMVtcqUQg/uDX8dF4nrMjbAypZnUg+CIVK+U68FA+0J29q
v4v3bFuK+mH8XJqCBeXIGRAIYw3K6NQtLTZAK8n0pixczTU5Px0=
=03c3
-----END PGP SIGNATURE-----