rv64g build of mcrl2 201409.0-ok1 : uos : liweinan

liweinan

rv64g build of mcrl2 201409.0-ok1 in openkylin nile RELEASE

created on 2025-10-30

Build status

Needs building

Start 2026-04-04
Build score:2505 (What's this?)

Build details

Source:: mcrl2 - 201409.0-ok1

Archive:: uos

Series:: Nile V2.0

Architecture:: rv64g

Pocket:: Release

Component:: main