armhf build of mathcomp-algebra-tactics 1.0.0-8build1 in ubuntu lunar RELEASE
created
Build status
Dependency wait on bos02-arm64-038
- Missing build dependencies: libcoq-elpi
- Started
- Finished (took 2 minutes, 17.9 seconds)
- buildlog (3.0 KiB)