amd64 build of coq-doc 8.15.0-3 in ubuntu jammy RELEASE
created
Build status
Failed to build on lcy02-amd64-023
- Started
- Finished (took 9 minutes, 42.8 seconds)
- buildlog (103.9 KiB)