It does not appear that HP has provided this yet, but the folks to ask for more accurate information regarding HP might be HP.
There is a driver for 10.8.x if you don't have that one yet.
I have the same problem, although I am conecting to a the printer via a LAN to LAN IPsec VPN, I can find the printer, it comes up witht he correct model etc. but when it connects to get the required software it fails and I get the message "Can't install the software because it is not currently available from the Software Update server"
This was orginally on lion and has been upgraded to mountain lion and then mavericks.
Is there a way of manually adding a driver that will work?
Looking at the HP website page: http://h10025.www1.hp.com/ewfrf/wc/softwareCategory?cc=us&dlc=en&docname=c039675 22&lc=en&os=4159&product=4110396&sw_lang=&#N187
There is no selectable driver :-(