No valid mirrors for mysql56?

[Steven Hartland]

----- Original Message ----- 
From: "John Marshall" <john.marshall at riverwillow.com.au>
..
>> => Couldn't fetch it - please try to retrieve this
>> => port manually into /usr/ports/distfiles/ and try again.
>> *** Error code 1
>
> So the problem is not that it isn't available, the problem is that the
> software you're using won't fetch it.
> 
> Delete (or rename) the existing copy from /usr/ports/distfiles and try
> again.

Good catch, I spotted the file size difference error but assumed this
was moaning about the new copy it was downloading and not an
existing copy.

Seems for some reason mysql-5.6.12.tar.gz has changed sizes
and checksums since I last downloaded and after updating ports
from svn it was expecting a new version of the file without a change
in filename, hence the issue.

Seems odd that the ports system wouldn't catch this and delete
the bad original before trying to re-download or forcing an overwrite
on download.

    Regards
    Steve

================================================
This e.mail is private and confidential between Multiplay (UK) Ltd. and the person or entity to whom it is addressed. In the event of misdirection, the recipient is prohibited from using, copying, printing or otherwise disseminating it or any information contained in it. 

In the event of misdirection, illegible or incomplete transmission please telephone +44 845 868 1337
or return the E.mail to postmaster at multiplay.co.uk.