3 lines
200 B
Text
3 lines
200 B
Text
MD5 (uppaal-4.0.10-aca.zip) = d6b2f7fcf97ec4dbe7e4a4c57af60ccf
|
|
SHA256 (uppaal-4.0.10-aca.zip) = 0b37a67d41e65f28d751ba879544281fbfb2a470404f929eb40ecc7735af716c
|
|
SIZE (uppaal-4.0.10-aca.zip) = 5537915
|