dafny [jammy/i386]

Version Triggers Date Duration Requester Result
2.3.0+dfsg-0.1 z3/4.8.9-1 2020-10-24 14:31:12 UTC 0h 02m 29s - pass logartifacts