SHA256 (frama-c-Sodium-20150201.tar.gz) = WHXYawwmnTSK+kYC8Mp/5raFYZH9twPY6wvJDUyYWn0=
SIZE (frama-c-Sodium-20150201.tar.gz) = 6155507
