# created by getzipinfo.tcl
global zipinfo
array set zipinfo {./maxima.zip { 12174311                   142 files} ./gcc.zip {  1109325                   19 files}}
global pkgFileSpace
array set pkgFileSpace {maxima 13430071}
