I wrote a small program for downloading individual files from a remote ZIP file on a http server that supports Range requests. This was an interesting learning exercise.
In case it’s useful to anyone, the code is available at https://code.mfashby.net/zipdl/
Download the appropriate file for your platform and the checksum, then check and extract:
sha256sum -c zipdl.xz.sha256 # result MUST be zipdl.xz: OK unxz zipdl.xz
and run with -h for help
To build from source, download the code, download zig, and run
zig build to produce a binary in zig-out/bin folder.