s390x build of mathcomp-algebra-tactics 1.0.0-8build1 in ubuntu lunar RELEASE
created
Build status
Dependency wait on bos02-s390x-003
- Missing build dependencies: libcoq-elpi
- Started
- Finished (took 1 minute, 34.8 seconds)
- buildlog (3.0 KiB)