liweinan

amd64 build of coq-serapi 8.20.0+0.20.0-ok1 in openkylin nile RELEASE

created

Build status

[MANUALDEPWAIT] Dependency wait on docker-amd64-hh-200.3-20021 Retry this build

  • Missing build dependencies: libyojson-ocaml-dev (>= 2.2)
  • Started
  • Finished (took 1 minute, 30.6 seconds)
  • buildlog (7.9 KiB)

Build details

Source:
coq-serapi - 8.20.0+0.20.0-ok1
Archive:
debian
Series:
Nile V2.0
Architecture:
amd64
Pocket:
Release
Component:
main