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.

To use this feature, you should first enable it in padmin by checking  . See Other styles, properties and options.