sbcl for RISC-V?

"Andrey G. Grozin via Sbcl-help" <[email protected]> Wed, 14 May 2025 18:55:40 +0700 (+07)

Newsgroups	gmane.lisp.steel-bank.general
Message-ID	<[email protected]>

Hello *,

On the page
https://www.sbcl.org/platform-table.html
I see that the boxes for RISC-V 32 and RISC-V 64 (Linux) are green, 
meaning that sbcl is available and supported. However, there are no 
version numbers in these 2 boxes. Can binary sbcl for these platforms be 
downloaded? From where? What version?

Andrey