The word is just in that Opera Mini version 4.2 has gone final for the Android platform. Visit the Android Market to grab your copy.

Here’s a changelog from the beta version:

Now you can upload and download files through Opera Mini and save pages for offline viewing
Videos will be redirected to the system’s video player
Double tap now works for zooming in and out
Inline URL entry instead of using native input
Fixed password text entry to hide characters
Fixed problems with exiting application when back button was pressed
Improved trackball speed
All internal pages, like the start page, now have font size extra large for easier navigation

Opera Blog and video from ZDNET/ Matt Miller