Bug#1067819: ITP: linksem -- Semantic model for aspects of ELF static linking and DWARF debug information

[Bo YU <tsu.yubo@gmail.com>]

On Wed, Mar 27, 2024 at 04:36:53PM +0800, Bo YU wrote:
> Package: wnpp
> Severity: wishlist
> Owner: Bo YU <tsu.yubo@gmail.com>
> X-Debbugs-Cc: debian-devel@lists.debian.org, debian-ocaml-maint@lists.debian.org
>
> This is a critical dependency for sail[0]. But it depends on lem[1] first.
For anyone who has interesting to build linksem, please use it here:
https://salsa.debian.org/vimerbf-guest/linksem

Once lem was uplaoded, I will send RFS then.
> [0]: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1065419
> [1]: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1065658
>
>
> --
> Regards,
> --
>  Bo YU



--
Regards,
--
  Bo YU

Attachment: signature.asc
Description: PGP signature