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

Format: 3.0 (quilt)
Source: lem
Binary: lem, liblem-ocaml-dev
Architecture: any
Version: 2022-12-10+dfsg2-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.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
 45606b6b6d83c6599488c18732bc57ace48ab67e 7280 lem_2022-12-10+dfsg2-1.debian.tar.xz
Checksums-Sha256:
 23e8d08c6fe395853bf2f22941543b41adb805d8a8b9b29a6ffa7291c2abd822 500444 lem_2022-12-10+dfsg2.orig.tar.xz
 4611426350ff970164210fe32e8ae138892dd122e325ad0c3f9fbc089809e2af 7280 lem_2022-12-10+dfsg2-1.debian.tar.xz
Files:
 10e8eca9382d758d7641df0be88af534 500444 lem_2022-12-10+dfsg2.orig.tar.xz
 e14dcf0aa62c673f1feedf77a7baa8be 7280 lem_2022-12-10+dfsg2-1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmbd2rAACgkQ808JdE6f
XdkWxhAAgKeOHVUa+XvT0OLKCdm9Zf0AzcoPE/DT/59Kkp3G32OezUhx+MHKf8VF
cHFK4QeolGtqUN44YHsGQtD2BXkUv9ZB2tkWtlRIaM+/qJU/zVU1exfGVfDWEzyf
o0JCY+ljwPZlIL9o7c9qhWWp0uXDWX+GKyxK1jg9YX6pOZ+xzS4ylPDEJbYmuTcd
bhJEfh1at0tAnBzvgo2UfcCz7ESCTfPFR9nKpiePkhI8l6gHTIVAHsLEg6jv7GJ9
PJrVMKfmCbjkR8RLOEq2lT2nPj2aWQ0QGKY2s/pFVdd1/afueEOsrCXUsZlTr01U
tY4JT/eHEEp2zxcbp3vfqLRCf3mi8fvZnfvAlPCFRW7AQoUu1dNiq/XkbtrVfKbZ
jNJQTo4U9/hMKcOEcqOuyCHk5mBgm9qhXhUdC9yadAkN2oHaJKNFzJ38Qanyqhxz
KkfMntyVDv1XSaE0TjCGCSev1u0TogRlSxPTIHD+DEvydr34Cwz6LB/nJ/5NOXrB
NK97ltQLrGponOUw84YXUfov1Je5NMAxW1ryu2xOiks9GNNxAH0rPt/ijDU/9m5M
0KmC7HDbNAXubNmVF2iQJgCI1QE/xfeFKKEFrYoxpgxIYphhxjEIhrQM8JowgKTG
l66ohjz4uHVouSu2XwmYY2RTVB4J4aBZ5adV6JIrMpyCpLCsfXs=
=hMqG
-----END PGP SIGNATURE-----