s390x build of aac-tactics 8.9.0-1 in ubuntu focal RELEASE
created
Build status
Dependency wait on bos02-s390x-020
- Missing build dependencies: libcoq-ocaml-dev
- Started
- Finished (took 1 minute, 20.9 seconds)
- buildlog (3.6 KiB)