amd64 build of coq-unicoq 1.6-8.18-ok1 : anything2.0 : “kylinsoft developers” team

“kylinsoft developers” team

Build can not be retried

amd64 build of coq-unicoq 1.6-8.18-ok1 in openkylin nile RELEASE

created on 2024-05-31

Build status

Needs building

Start in 27 minutes
Build score:510 (What's this?)

Build details

Source:: coq-unicoq - 1.6-8.18-ok1

Archive:: anything2.0

Series:: Nile V2.0

Architecture:: amd64

Pocket:: Release

Component:: main