Re: What mirror to use with archived jigdo DVD images ?
after some pondering:
Can it be that these five packages are damaged too on us.cdimage.debian.org ?
When using the default mirror, these files came from us.cdimage.debian.org
and then were not grafted into the ISO template.
When using archive.debian.org the five files came from there and then
got grafted into the template.
The two remaining files were again fetched from us.cdimage.debian.org and
then did not get grafted.
Have a nice day :)