liweinan

amd64 build of mcrl2 201409.0-ok1 in openkylin nile RELEASE

created

Build status

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

  • Missing build dependencies: qt4-qmake, libqtcore4, libqtgui4, libqt4-xml, libqt4-opengl, libqt4-dev, libqt4-opengl-dev
  • Started
  • Finished (took 1 minute, 16.1 seconds)
  • buildlog (7.1 KiB)

Build details

Source:
mcrl2 - 201409.0-ok1
Archive:
uos
Series:
Nile V2.0
Architecture:
amd64
Pocket:
Release
Component:
main