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

Format: 3.0 (quilt)
Source: lem
Binary: lem, liblem-ocaml-dev
Architecture: any
Version: 2025-03-13+dfsg-1build4
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:  Bo YU <vimer@debian.org>
Homepage: https://github.com/rems-project/lem
Standards-Version: 4.7.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, help2man
Package-List:
 lem deb ocaml optional arch=any
 liblem-ocaml-dev deb ocaml optional arch=any
Checksums-Sha1:
 fe2eb83a2c606951dbdfe710d44da7fdff683b05 502252 lem_2025-03-13+dfsg.orig.tar.xz
 0f31b5d6de0f12bdd8109d211f6b558647394941 7612 lem_2025-03-13+dfsg-1build4.debian.tar.xz
Checksums-Sha256:
 42a75c255a4fba64fd56eb0c2a26a5820b5767b6328583eefd3bd925ab70911a 502252 lem_2025-03-13+dfsg.orig.tar.xz
 279e4ee418aa6101e7eb818ca0c48b2395c5f3cd1f1a52f494ba294aa65033e0 7612 lem_2025-03-13+dfsg-1build4.debian.tar.xz
Files:
 3c3ef2bcc4559b725cfd0561d7b8808e 502252 lem_2025-03-13+dfsg.orig.tar.xz
 4f66a991317a77ca8c986a05bb631d06 7612 lem_2025-03-13+dfsg-1build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmmfBjkACgkQWWH9vpxh
mAldlw//T1J3cPXXCBquBrg572soUntBnSLMubVm8xaNgvCq9zacWRGn1VfwIsRO
UzuSwGGsHtjRkUGJxqD3x4KLfST5RyzCVDBZL+WcMf3g7k52gDEzkUEkEMMOdvu7
1V531zRUcdIu8DOgXP4XJLHBfMeZ+QDjG9cu2izBhKMOy3/Z/11iOIwstq6+vWn4
9i0/Af7J0ZVTw3FEAASKF9GTyhDw9PQrPSBoUaHIezhrSIzdUdgugmGg26XPNmpN
liJV1UNq49WIwYKm+/gtSe3Lfectc28QeQF1AJmguqRZd1cWQfrrHpF64uVR1d6p
fdOSuU/S+gwnls8IHUOy1o28UU0fCtQFgDAh+uQLnRuc2AR6ryjJ0si7boLk+uAo
C8Zn6ig7Qbmw5N7lUrNPN0EjLS4w0ZRTr6ym63kRL6ijkISeVV5kSJvgC+qx0c94
ruJp5OaaaAI+qJp7dL29QbNOeCJklS84qvRaXyqaGHEYXjgxWSERy9GlmxK1YPNT
5daXuxHTXvKpWB6q7F5lbqPMPyrnVQr/TreJiCaDip46eUuksqxB09Z0DvQPm6gc
EiXauI7pZ5WC6A8a96VROdu/VKEgzEHMynmnrzJBzq5pG1boYv1Rp1EXJXvPGi9Z
Skpa+YU+G99wPmQQH9yrwLsQ2yFrYHpgAXLbhPXYbDjhWIn1AXI=
=kown
-----END PGP SIGNATURE-----