Greetings, and thanks for your reports! GCL is the key to porting these
programs and more. Is there any remote ssh access to a machine on which
I may implement this?
Take care,
zhangdandan writes:
> Source: acl2
> Version: 8.5dfsg-5
> Severity: wishlist
> Tags: patch
> User:
Source: acl2
Version: 8.5dfsg-5
Severity: wishlist
Tags: patch
User: debian-loonga...@lists.debian.org
Usertags: loong64
Dear maintainers,
Maybe we need to add LoongArch support in
books/kestrel/x86/parsers/parse-pe-file.lisp.
Refer to riscv64, please consider the patch I have attached.
If
2 matches
Mail list logo