MD5 (uppaal-4.0.2.zip) = 6698f31403a6543d850e43d4a85025f4 SHA256 (uppaal-4.0.2.zip) = b415a981415499d7a587915f28451f95445d345c7fa91f4c19f390d8e766c6ff SIZE (uppaal-4.0.2.zip) = 6996650