s390x build of mathcomp-analysis 0.5.4-3build2 in ubuntu lunar RELEASE
created
Build status
Dependency wait on bos01-s390x-014
- Missing build dependencies: libcoq-hierarchy-builder
- Started
- Finished (took 1 minute, 16.2 seconds)
- buildlog (3.1 KiB)