armhf build of aac-tactics 8.9.0-1 in ubuntu focal RELEASE
created
Build status
Dependency wait on bos02-arm64-050
- Missing build dependencies: libcoq-ocaml-dev
- Started
- Finished (took 3 minutes, 7.3 seconds)
- buildlog (4.1 KiB)