liweinan

arm64 build of alt-ergo 2.0.0-ok1 in openkylin nile RELEASE

created

Build status

[MANUALDEPWAIT] Dependency wait on docker-arm64-0.36-33601 Retry this build

  • Missing build dependencies: liblablgtk2-gnome-ocaml-dev (>= 2.14.0+dfsg-2~), liblablgtksourceview2-ocaml-dev (>= 2.14.0+dfsg-2~)
  • Started
  • Finished (took 3 minutes, 29.4 seconds)
  • buildlog (8.9 KiB)

Build details

Source:
alt-ergo - 2.0.0-ok1
Archive:
nile-uos
Series:
Nile V2.0
Architecture:
arm64
Pocket:
Release
Component:
main