K 10
svn:author
V 6
marino
K 8
svn:date
V 27
2015-11-13T13:47:52.183546Z
K 7
svn:log
V 458
devel/frama-c: Unbreak after checking rerolled distfile

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.

END