MD5 (uppaal-4.0.10-aca.zip) = d6b2f7fcf97ec4dbe7e4a4c57af60ccf
SHA256 (uppaal-4.0.10-aca.zip) = 0b37a67d41e65f28d751ba879544281fbfb2a470404f929eb40ecc7735af716c
SIZE (uppaal-4.0.10-aca.zip) = 5537915