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

Format: 3.0 (quilt)
Source: lem
Binary: lem, liblem-ocaml-dev
Architecture: any
Version: 2025-03-13+dfsg-1build1
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
 d5d994d83bfa629493a8cec193f7d28ca2c344f1 7488 lem_2025-03-13+dfsg-1build1.debian.tar.xz
Checksums-Sha256:
 42a75c255a4fba64fd56eb0c2a26a5820b5767b6328583eefd3bd925ab70911a 502252 lem_2025-03-13+dfsg.orig.tar.xz
 956b6a40ae35ef5c89d058db100503acd133dfc928510c2660f5d0337266d5ec 7488 lem_2025-03-13+dfsg-1build1.debian.tar.xz
Files:
 3c3ef2bcc4559b725cfd0561d7b8808e 502252 lem_2025-03-13+dfsg.orig.tar.xz
 a4d274203af8acc95ba43c775486ba79 7488 lem_2025-03-13+dfsg-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmiyqnEACgkQ808JdE6f
XdmAxBAAkFD/y53ujpRfwgAU9DTHNWaqwuQTrUYgcnvmfN1Q1LljNn/OoeHL8dqW
ECUNFi81YBE5gzKyyJFtnTfGIClmMIDEW/BwnBqyBjdPRp69fyZ6eWQVLQiLgBjk
+jkTsg0QFAr3R24OGQtNG0emnb95lyFq0Gp4e7TGRG1N0c8ScNs4CEAU4kbgz7Wx
E/FTJUr8oMbqMxnUMFlFqepm0OjumKmmPMYWj6FKOwNbUOLyb6AaQBmQyAA9NiY4
fas+izp8m3DF/Nn0NndSVCvTkB3ZjuKHlONtm5RIUU9Xy/uHdedLSTmitbM9sm4+
vF0WlNj41F65F5L94EMMvXg3BQG445XCxBecyoI0za+KOgm6SBDy77BB1oDo0FbT
QLtXuqVkskhHJj0ybD5iygSxWrAH97Jl4QDbyakpLm+5sCLXI132ekkDHSAix97r
p0t0N5zQxPTTtCqaQhjjd/QFymn/sgupTM1iAlqaKtgj7ATj87IIdosOjp5Fvkjf
MdAJqAXPXdTd4uNrMwIeBk/hm/IlqrrdqF9VpF3IE8OzLjMi+gswJ/r8tacz0QII
2kLgaokS5eiA0EV6NxzJzNpXNalwAt0tR/g/89CHI04Eh4axJjbtr4CYmERvyDh0
bxkTGKPSFz+eq/dstnyBzUtYVvk7BQubLpuFgz2F8yuYFPEc/zg=
=7du6
-----END PGP SIGNATURE-----