why3-examples <-> freeorion-data

Version of why3-examples: 1.6.0-1

Architecture of why3-examples: all

Version of freeorion-data: 0.5+git20230820-4

Architecture of freeorion-data: all

why3-examplesfreeorion-data
sizefilenamehash functionsfilename

Details about this service