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 bui
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 : BS
2 matches
Mail list logo