Ubuntu

armhf build of coq-elpi 1.16.0-1build2 in ubuntu lunar RELEASE

  1. Copy archive test-rebuild-20221215-lunar-normal for Ubuntu Archive Test Rebuilds
  2. armhf build of coq-elpi 1.16.0-1build2
created

Build status

[MANUALDEPWAIT] Dependency wait on bos02-arm64-029

  • Missing build dependencies: libelpi-ocaml-dev
  • Started
  • Finished (took 2 minutes, 0.3 seconds)
  • buildlog (3.0 KiB)

Build details

Source:
coq-elpi - 1.16.0-1build2
Archive:
Copy archive test-rebuild-20221215-lunar-normal for Ubuntu Archive Test Rebuilds
Series:
Lunar
Architecture:
armhf
Pocket:
Release
Component:
universe