Re: [isabelle] Moving the AFP away from SourceForge

Could we get a stable domain now, and point it at, so that people can start citing that instead, and if/when a move is necessary, no new dangling citations are created?


On 28/05/15 11:24, Gerwin Klein wrote:
Weâve already thought about that, itâs not the first malware incident at SF.

So far, Iâm monitoring the situation for the AFP - content-wise weâre not dependent on anything SF is doing and could move any time.

The problem is URL stability: lots of papers have citations pointing to, which would then all be dead or worse, point to uncontrolled content.


On 28.05.2015, at 19:16, Lars Hupel <hupel at> wrote:

Dear list,

I think we should seriously consider moving the AFP away from
SourceForge. The final nail in the coffin is that the company behind started replacing genuine downloads with their own versions with
added adware. The latest evidence is from the GIMP project:


In that particular case, it affected an inactive project. The AFP is
very much not inactive, but nonetheless, nobody guarantees that
won't further extend this practice. They will probably not touch the
Mercurial source repositories, but the official AFP download uses's download facility:


Better alternatives exist, for example Bitbucket. They also offer
repository hosting, web hosting, and file download.



The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.