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

Format: 3.0 (quilt)
Source: lem
Binary: lem, liblem-ocaml-dev
Architecture: any
Version: 2022-12-10+dfsg-1
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.6.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
Package-List:
 lem deb ocaml optional arch=any
 liblem-ocaml-dev deb ocaml optional arch=any
Checksums-Sha1:
 b1a28e872ba0ef0b2b1548cafbf1bf6d17614c54 2612520 lem_2022-12-10+dfsg.orig.tar.xz
 9a1d3bda2aef8b84fec370654440a3a390e2f763 8396 lem_2022-12-10+dfsg-1.debian.tar.xz
Checksums-Sha256:
 b2c70cb2248c66b008996a815247cdb6b47dc1dc67fb24a5bea233b34e7e693c 2612520 lem_2022-12-10+dfsg.orig.tar.xz
 0ca36cdc03affcc0bc57a1430ce3249a5abfd49d0f38010e24ea35d4187fc699 8396 lem_2022-12-10+dfsg-1.debian.tar.xz
Files:
 dec8d0d32bd75ce3f0a4f5ae52fb00be 2612520 lem_2022-12-10+dfsg.orig.tar.xz
 68fde850039ad934b030ceae63be3e33 8396 lem_2022-12-10+dfsg-1.debian.tar.xz

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

iQIzBAEBCgAdFiEEIcmhjYVTlmab0tjp+RVP3hQ+S68FAmXsCCwACgkQ+RVP3hQ+
S68JUw/+KB3lKPtVNbctfqg1hGSiWHH+Z3Ec4/YgG5txYVjeRqEbLgeF3evtkFSk
nsn1K6CFiBIDTg9R6FRaoV1tDG1g3kdG7BJve/Js2B67SiF6DXMSc03daqOZ77xO
TWeBuqJznKsB7Q4WUO/ILWSS4hJRVpD6UhRT+gk/dUEWzUWNjSOGsZYdSXSkPZDC
+d96bMIUk5b8H67eVFraVgFuK5QVD2rzNqFXzrC0sapwYxbBewNqFzu1s2KE8PSE
l925ocpAy/mu+pq/xKJhhZljPmS6oWCMrGL/NslLkvB8J6vE9wgjrhzd8lzvtnO4
K3F04VrNvZ7KUW30d9z1OdtNM2EpTZ05rpv3SLvxKCxSyNnb60v/bH59rYO85AM8
061Eqtc7R9aITPHj9x1a/x0s1G4R8zwPaN1pQcVuvJ3cHeua6bpgOeTyQ3Gl75xe
FQYw9HhS+sPFuI3iOSnnFPpYCyvEdH7fTYc7C6UQt/OJb7pRnEEJ8Dk2PYfF/FOG
hHtS38emsEEdHKORBp8uTIRt1idUfLho65yLlox/I/qXx2guKOCfJXg0OtdnfX0e
IBAIjvuvt+tVN7aXpgUNuriubJEUW4t51WDEvKPIxBP24LUrSwHZbvoMU+8a0Bu1
YRGHVngzNSyjwjCo8PCTtX/jTZ3jHIMdI1SzrQNX4jE+ToAYhLM=
=CTDN
-----END PGP SIGNATURE-----