Bad distfiles on MacPorts distfile mirrors [was Re: MacPorts DNS Issues]

[Joshua Root]

On 2013-6-26 04:23 , Bradley Giesbrecht wrote:
> 
> Some of the MySQL mirrors have bad distfiles and the MacPorts mirrors have picked them up. What is the procedure for removing the bad distfiles from the MacPorts mirrors?

Theoretically they are automatically deleted if the checksums don't
match those in the Portfile:

<https://trac.macports.org/browser/trunk/base/src/port1.0/portmirror.tcl#L76>

- Josh