amd64 build of boogie 2.3.0.61016+dfsg+3.gbp1f2d6c1-1 in ubuntu eoan RELEASE
created
Build status
Failed to build on lgw01-amd64-048
- Started
- Finished (took 1 minute, 34.6 seconds)
- buildlog (4.9 KiB)