Ubuntu

s390x build of coq-hierarchy-builder 1.4.0-2build1 in ubuntu lunar RELEASE

  1. Copy archive test-rebuild-20221215-lunar-normal for Ubuntu Archive Test Rebuilds
  2. s390x build of coq-hierarchy-builder ...
created

Build status

[MANUALDEPWAIT] Dependency wait on bos02-s390x-002

  • Missing build dependencies: libelpi-ocaml-dev
  • Started
  • Finished (took 1 minute, 10.7 seconds)
  • buildlog (3.0 KiB)

Build details

Source:
coq-hierarchy-builder - 1.4.0-2build1
Archive:
Copy archive test-rebuild-20221215-lunar-normal for Ubuntu Archive Test Rebuilds
Series:
Lunar
Architecture:
s390x
Pocket:
Release
Component:
universe