i just used ark to extract it with no problem
I tryied 5 mirrors also, but it fails everywhere: !!! Fetched file: arts-1.1.5.tar.bz2 MD5 FAILED!
All failed files are the same: MD5 1d34348e805715559fcd0d978272f031 size 989305
bunzip2 -t arts-1.1.5.tar.bz2 returns no error, so digest-arts-1.1.5 must be broken ...
noro
-- [EMAIL PROTECTED] mailing list
