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

Format: 3.0 (quilt)
Source: lem
Binary: lem, liblem-ocaml-dev
Architecture: any
Version: 2022-12-10+dfsg2-4build2
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
 9ed4539a7647dc533746f34eeca4def2a176564f 9104 lem_2022-12-10+dfsg2-4build2.debian.tar.xz
Checksums-Sha256:
 23e8d08c6fe395853bf2f22941543b41adb805d8a8b9b29a6ffa7291c2abd822 500444 lem_2022-12-10+dfsg2.orig.tar.xz
 4c8cbefeceafe18d4b6370395eb362997c08c43793df076dfa69c8f223e7dd39 9104 lem_2022-12-10+dfsg2-4build2.debian.tar.xz
Files:
 10e8eca9382d758d7641df0be88af534 500444 lem_2022-12-10+dfsg2.orig.tar.xz
 438b1effc544658f63d409d017b0b7a7 9104 lem_2022-12-10+dfsg2-4build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmhQXrsACgkQ808JdE6f
Xdmtig//dJyCTKtZfavrVQ/E5aJ/Tb/j5UeXv08Q9bnhuPwvxY+UweDjJYC/aUaN
GQQSJDq+IfzqoBV5nyiKm9Wt3J/2TsyPbDUt4+C+ViLyIrCNWFspETe93XvN9bXW
6vTya1wztj8JL/k3rWYGcU5UMY6ppubeiF+LeoVuCN7F8G3XUOdVGrjOpPG5mBR5
oT6E7DW2dBnSvbRi+ziqELnMC6AKm4BTx4FTQ7CDjY/kv74ea2SiwOAhZ/gxhFFB
zWIDQANEZzfORhxcs6sefIgXsivO+L9YM2LC+cU1wr5uvs4afUuaSbF11j/bvl2h
+n3Lu3RORTKS5OgziSg0N/NY1o67JETtXRba1LHWKc+l28wD6Bn8kX1jm/rQURMD
HKskSNAIf3uV0VIVRf4nBrRSd35KRqZh1QFLOc0FZvMKZ3Rt8anjOb48Brl4i0CC
fvoBvkpt3P3SBiV6sl25Px/LMny3+AnqhkuBQxSc6tCJwZBWzulOhRGcycaYYdwZ
bw4a6vSGfELzKV42Yl0nsVJ98KLR4smYIqkQAs6DvQmHVCDL9KiC4GOhplmsGDuM
uDfbz/3wdcH0LXjrdRAq+du4RhNTwnKvGx666GaMoPns/cqC5RY/n9vdHMuMu1R0
kZZpEZPeYeyvXCn19osEoJUJ7PBvR50HaossEuH1V0CYVLMCE2g=
=uGJh
-----END PGP SIGNATURE-----