riscv64 build of agda 2.6.3-ok1 : anything2.0 : “kylinsoft developers” team

“kylinsoft developers” team

riscv64 build of agda 2.6.3-ok1 in openkylin nile RELEASE

created on 2024-03-25

Build status

Needs building

Start in 2 hours
Build score:510 (What's this?)

Build details

Source:: agda - 2.6.3-ok1

Archive:: anything2.0

Series:: Nile V2.0

Architecture:: riscv64

Pocket:: Release

Component:: main