Just a simple search for files, just type the name of the file you want without extension.
Examle: to search for mamba.zip use "mamba".