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

On Wed, Mar 27, 2024 at 04:36:53PM +0800, Bo YU wrote: Package: wnpp Severity: wishlist Owner: Bo YU X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org This is a critical dependency for sail[0]. But it depends on lem[1] first. For anyone who has interesting to

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

Package: wnpp Severity: wishlist Owner: Bo YU X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: linksem Version : 0.8 Upstream Contact: Linksem Devs * URL : https://github.com/rems-project/linksem * License :