3 lines
185 B
Text
3 lines
185 B
Text
MD5 (uppaal-4.0.6.zip) = d4feef3db9dc6b23b3aada01f32efbb8
|
|
SHA256 (uppaal-4.0.6.zip) = 043e3e0930519f1e59edf3ebe541c4a4ac7db3ebbfff2d0aa34514ac8014da8e
|
|
SIZE (uppaal-4.0.6.zip) = 6992522
|