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

Format: 3.0 (quilt)
Source: lem
Binary: lem, liblem-ocaml-dev
Architecture: any
Version: 2022-12-10+dfsg2-4build1
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
 906150edfd0e9dee7c4630fde60ae6f1565a886b 9064 lem_2022-12-10+dfsg2-4build1.debian.tar.xz
Checksums-Sha256:
 23e8d08c6fe395853bf2f22941543b41adb805d8a8b9b29a6ffa7291c2abd822 500444 lem_2022-12-10+dfsg2.orig.tar.xz
 44465dc078b1e9d334c2064b9963dcfdc9fbae521a27463a584d397fb69b1459 9064 lem_2022-12-10+dfsg2-4build1.debian.tar.xz
Files:
 10e8eca9382d758d7641df0be88af534 500444 lem_2022-12-10+dfsg2.orig.tar.xz
 befd7e23cf5e987be9f20e970f73a73d 9064 lem_2022-12-10+dfsg2-4build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeZ+0UACgkQ808JdE6f
XdlpFg//Szj4+AuyhgyHPt4n+oDdYtsMPZOgHYGCVzOTMT+0KBiX701zu9zNrs+Z
vQfKudyWfhsG/srZuNJCtV3A0QUUYtnEwA4qwd8bkeqVmtXCpA4oey4h0v62R80B
QkmwT8Eyzm758rg7uPngdBz5lEqVgm3ksXYPYFTseNn3U2CpFtFy6agv95sqtbZH
gdsqucWFbEkZG2f/num6ZI3Gq69kNb58Z9vwtz+MrqoRwwQm2KXhj/Q4zLEXnI3v
v86ICs4ZQ8YdVfOL/l7LUvo/RrMh+m/dAKD4SOlyPBvHZeCwu32dxlRjM8H+T4tS
ZZiEmZnESB0s59RzkpdQoRsfXwtuV8r4sxAcfk3zDpIZoxn/rX9TO8NAaSsTMZgn
X8viVcw2I4So3ZTwVCUqeVOMcmv643XMWVhKRg1nUJRiAT7Z5YmRi4z6Y1r13ucp
uOf8g7ZxvtfxB7AKHL4AAcy7bhMPfGMaR4ynMHO9/2isXNfavKcWGKxN9zMAOFqm
VTUclzwMKmN9cOjnfVbroOib0UA3vDJPOzoidt6PHzvtN9nzRlIHGzk/d2gWA3Xn
BzoX9Gu15ArOus1kwzZGe2tyI6ATq6pFdNBIoBTRFYwkyDZ4gpp+b/okbvfKWIB9
uQTE4CsPhdlxuupVoDtVxTSIjkPqp97aDOdr6n/8jtqj9f19Pho=
=0+We
-----END PGP SIGNATURE-----