dafny [focal/armhf]

Version Triggers Date Duration Requester Result
2.3.0+dfsg-0.1 z3/4.8.7-4build1 2020-03-23 17:26:24 UTC 0h 05m 15s - pass logartifacts
2.3.0+dfsg-0.1 mono/6.8.0.105+dfsg-2 2020-02-27 03:05:26 UTC 0h 06m 06s - pass logartifacts
2.3.0+dfsg-0.1 mono/6.8.0.105+dfsg-1 2020-02-25 08:37:04 UTC 0h 05m 09s - pass logartifacts
2.3.0+dfsg-0.1 dafny/2.3.0+dfsg-0.1 2020-01-20 12:35:49 UTC 0h 05m 05s - pass logartifacts