avsm bd308519f9 update to framac-1.11 (the "Sodium" release upstream)
ok jca@, tested by krw@ daniel@ jsg@
2015-08-30 16:22:15 +00:00

3 lines
135 B
Plaintext

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