SHA256 (framac-01/frama-c-Sodium-20150201.tar.gz) = 5875d86b0c269d348afa4602f0ca7fe6b6856191fdb703d8eb0bc90d4c985a7d SIZE (framac-01/frama-c-Sodium-20150201.tar.gz) = 6155507