@ZIPDFILESIZE[ziparchive,n]:  Returns the decompressed size of file n in a .zip archive.

 

See also ZIP and UNZIP

 

Example:

 

zip tcc *.cpp

echo %@zipdfilesize[tcc.zip,0]

46868.