Is the gretl-devel list searchable?
 
I did not see such an option at http://lists.wfu.edu/pipermail/gretl-users/
 

Google searching works however  entering

‘search term’  site:http://lists.wfu.edu/pipermail/gretl-users/

So maybe this is good enough