(This file public domain.)

zip30.tar.xz came from
http://www.info-zip.org/Zip.html