File Sizes

The file sizes for each file in our archive can be found in the “File Info” section for each package or source file.

Note that some browsers gunzip files as they are downloaded and so you will have to gzip the file to check that you got the correct size. Some browsers, if not configured properly, will download a .gz file, remove the .gz but not gunzip the file. Also, some will gunzip a file, but not remove the .gz. You can check what kind of file you have by running the file command on the file to see if it is compressed or not.