libdvdnav-4.1.3_0.darwin_13.x86_64.tbz2 not found when installing VLC

[chihangli@…]

The library in the subject does not exists in the 3 servers that MacPort was trying to contact and therefore failed the installation. The latest version there on tried servers all bearing names like *darwin_12x86* but not *darwin_13x86*.

Below is the exact screen capture of the error msg: ~ $ sudo port clean --all libdvdnav Password: Sorry, try again. Password: ---> Cleaning libdvdnav ~ $ sudo port install libdvdnav ---> Computing dependencies for libdvdnav ---> Fetching archive for libdvdnav Warning: Your DNS servers incorrectly claim to know the address of nonexistent hosts. This may cause checksum mismatches for some ports. ---> Attempting to fetch libdvdnav-4.1.3_0.darwin_13.x86_64.tbz2 from ​http://packages.macports.org/libdvdnav ---> Attempting to fetch libdvdnav-4.1.3_0.darwin_13.x86_64.tbz2 from ​http://mse.uk.packages.macports.org/sites/packages.macports.org/libdvdnav ---> Attempting to fetch libdvdnav-4.1.3_0.darwin_13.x86_64.tbz2 from ​http://lil.fr.packages.macports.org/libdvdnav ---> Fetching distfiles for libdvdnav ---> Attempting to fetch libdvdnav-4.1.3.tar.bz2 from ​http://www3.mplayerhq.hu/MPlayer/releases/dvdnav/ ---> Verifying checksums for libdvdnav Error: Checksum (md5) mismatch for libdvdnav-4.1.3.tar.bz2 Error: Checksum (sha1) mismatch for libdvdnav-4.1.3.tar.bz2 Error: Checksum (rmd160) mismatch for libdvdnav-4.1.3.tar.bz2 * The non-matching file appears to be HTML. See this page for possible reasons for the checksum mismatch: <​https://trac.macports.org/wiki/MisbehavingServers> * The file has been moved to: /opt/local/var/macports/distfiles/libdvdnav/libdvdnav-4.1.3.tar.bz2.html Error: org.macports.checksum for port libdvdnav returned: Unable to verify file checksums Please see the log file for port libdvdnav for details:

/opt/local/var/macports/logs/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_devel_libdvdnav/libdvdnav/main.log

To report a bug, follow the instructions in the guide:

​http://guide.macports.org/#project.tickets

Error: Processing of port libdvdnav failed