amd64 build of coq-simple-io 1.8.0-ok1 : anything2.0 : “kylinsoft developers” team

“kylinsoft developers” team

amd64 build of coq-simple-io 1.8.0-ok1 in openkylin nile RELEASE

created on 2024-03-25

Build status

Needs building

Start in 1 hour
Build score:505 (What's this?)

Build details

Source:: coq-simple-io - 1.8.0-ok1

Archive:: anything2.0

Series:: Nile V2.0

Architecture:: amd64

Pocket:: Release

Component:: main