dafny [jammy/ppc64el]

Version Triggers Date Duration Requester Result
2.3.0+dfsg-0.1 z3/4.8.12-1 2021-09-15 15:18:33 UTC 0h 03m 43s - pass logartifacts