amd64 build of coq-doc 8.6-1 in ubuntu eoan RELEASE
created
Build status
Failed to build on lgw01-amd64-038
- Started
- Finished (took 14 minutes, 5.3 seconds)
- buildlog (36.1 KiB)
Failed to build on lgw01-amd64-038