riscv64 build of coq-record-update 0.3.4-ok1 : anything3.0 : “kylinsoft developers” team

“kylinsoft developers” team

riscv64 build of coq-record-update 0.3.4-ok1 in openkylin huanghe RELEASE

created on 2026-05-06

Build status

Cancelled build Retry this build

Build details

Source:: coq-record-update - 0.3.4-ok1

Archive:: anything3.0

Series:: Huanghe V3.0

Architecture:: riscv64

Pocket:: Release

Component:: main