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