amd64 build of boogie 2.3.0.61016+dfsg+3.gbp1f2d6c1-1 in ubuntu focal RELEASE
created
Build status
Failed to build on lcy01-amd64-001
- Started
- Finished (took 1 minute, 22.2 seconds)
- buildlog (7.5 KiB)