Hi Waldek,
> I am not sure what to do, any way there will be some confusion. ATM
> I have put on Sourceforge also identical tarball with name using dash.
> ATM there is also file with dot, it is not clear to me if having
> it helps or causes trouble.
I think, it is early enough after the release.
I would simply *rename* the file
fricas-1.3.9.full.tar.bz2 to
fricas-1.3.8-full.tar.bz2 and only put an identical copy into the
release area on sourceforge and github, if someone insists that he would
otherwise be in trouble.
I think, not pleasing one or two people instead of changing the naming
scheme is worth it to correct an obvious mistake.
Putting identical copies with dash/dot should be avoided IMHO.
Ralf