why3-examples <-> legit

Version of why3-examples: 1.6.0-1

Architecture of why3-examples: all

Version of legit: 1.2.0.post0-3

Architecture of legit: all

why3-exampleslegit
sizefilenamehash functionsfilename

Details about this service