some file sizes corrections

[xlucn]

Corrections to the wrong file sizes I could find. All of them are confirmed by both

• content-length reported by curl -IL $url command, and
• locally downloaded file size

Feel free to check them again :)

[katahiromz]

@xlucn Hi! Thank you for your contribution.

I have a question: Can you give us a Python3 script that automates this size check?

[xlucn]

@xlucn Hi! Thank you for your contribution.

I have a question: Can you give us a Python3 script that automates this size check?

Sure! check.py

This is the python script I am using to check size and hash of the local files. It also output a file which I can feed to aria2 to download the missing or mismatched files. Hope you find something useful in it.
However, currently only the [Section] is considered, not other architectures.

The curl command is done manually. This script only checks local files.