!!! Fetched file: doxygen-1.8.2.src.tar.gz VERIFY FAILED! !!! Reason: Filesize does not match recorded size !!! Got: 6063256 !!! Expected: 6063241 Rebuilding the manifest fixes the problem. Helmut.
*** This bug has been marked as a duplicate of bug 431192 ***