You To download a file as zip check the checkbox next to its listing in the file repository/folder and click on the "download as zip" button under the list. You can select multiple files.

To use this feature, you should first enable it in padmin by checking  "List - download as ZIP". See Other styles, properties and options