boogie [impish/armhf]

Version Triggers Date Duration Requester Result
2.4.1+dfsg-0.1 z3/4.8.12-1 2021-09-15 15:10:36 UTC 0h 05m 24s - pass logartifacts
2.4.1+dfsg-0.1 mono/6.8.0.105+dfsg-3.2 2021-06-30 15:08:32 UTC 0h 05m 48s - pass logartifacts
2.4.1+dfsg-0.1 z3/4.8.10-1ubuntu1 2021-01-30 12:33:22 UTC 0h 05m 41s - pass logartifacts