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.