amd64 build of coqprime 8.18-ok1 in openkylin nile RELEASE

created

Build status

[FAILEDTOBUILD] Failed to build on docker-amd64-191.52-15203 Retry this build

  • Started
  • Finished (took 1 minute, 30.6 seconds)
  • buildlog (7.3 KiB)

Build details

Source:
coqprime - 8.18-ok1
Archive:
anything2.0
Series:
Nile V2.0
Architecture:
amd64
Pocket:
Release
Component:
main