Ubuntu
coq-ext-lib package

ppc64el build of coq-ext-lib 0.11.7-2 in ubuntu lunar PROPOSED

  1. 0.11.7-2
  2. ppc64el build
created

Build status

[FAILEDTOBUILD] Failed to build on bos01-ppc64el-012

  • Started
  • Finished (took 2 minutes, 3.7 seconds)
  • buildlog (6.2 KiB)

Build details

Source:
coq-ext-lib - 0.11.7-2
Archive:
Primary Archive for Ubuntu
Series:
Lunar
Architecture:
ppc64el
Pocket:
Proposed
Component:
universe