Ubuntu

s390x build of coq-hierarchy-builder 1.2.1-2 in ubuntu jammy RELEASE

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

Build status

[MANUALDEPWAIT] Dependency wait on bos02-s390x-014

  • Missing build dependencies: libcoq-elpi-ocaml-dev
  • Started
  • Finished (took 2 minutes, 22.6 seconds)
  • buildlog (9.3 KiB)

Build details

Source:
coq-hierarchy-builder - 1.2.1-2
Archive:
Copy archive test-rebuild-20220317-jammy for Ubuntu Archive Test Rebuilds
Series:
Jammy
Architecture:
s390x
Pocket:
Release
Component:
universe