armhf build of mathcomp-analysis 0.5.4-3build2 in ubuntu lunar RELEASE
created
Build status
Dependency wait on bos02-arm64-066
- Missing build dependencies: libcoq-hierarchy-builder
- Started
- Finished (took 2 minutes, 5.4 seconds)
- buildlog (3.1 KiB)