mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-16 03:24:07 +00:00
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.
3 lines
175 B
Plaintext
3 lines
175 B
Plaintext
SHA256 (framac-01/frama-c-Sodium-20150201.tar.gz) = 5875d86b0c269d348afa4602f0ca7fe6b6856191fdb703d8eb0bc90d4c985a7d
|
|
SIZE (framac-01/frama-c-Sodium-20150201.tar.gz) = 6155507
|