arm64 build of coquelicot 3.4.1-1 in ubuntu noble PROPOSED

created

Build status

[MANUALDEPWAIT] Dependency wait on bos03-arm64-027

  • Missing build dependencies: libcoq-elpi-pbn45
  • Started
  • Finished (took 1 minute, 44.0 seconds)
  • buildlog (10.0 KiB)

Build details

Source:
coquelicot - 3.4.1-1
Archive:
Primary Archive for Ubuntu
Series:
Noble
Architecture:
arm64
Pocket:
Proposed
Component:
universe