3e6ac56dcf
Upstream re-rolled Frama-C keeping a February 2015 date stamp in the filename (!). I compared the new distfile with the old one. Only two files were modified (opam, Makefile) and all the rest were additional files (new /external directory, new /bin directory with shell scripts). It looks innocent to me. Regenerate distfile and set DIST_SUBDIR now that frama-c devs have a reputation for rerolls.
2 lines
175 B
Text
2 lines
175 B
Text
SHA256 (framac-01/frama-c-Sodium-20150201.tar.gz) = 5875d86b0c269d348afa4602f0ca7fe6b6856191fdb703d8eb0bc90d4c985a7d
|
|
SIZE (framac-01/frama-c-Sodium-20150201.tar.gz) = 6155507
|