Probably here, ish. The trick (lately) has been getting Apple software update to start bothering to get the HP drivers - once it's got them it seems to update them, but it's utterly stupid about going and getting them the first time for the past several months, at least.
The link is to an apple knowledgebase article that includes an Hp Printer Software download for 10.6-10.9 which will hopefully jumpstart the process successfully.
I know I've had issues with HP 4000's (which I have drivers installed for on 10.7 computers) coming back as "no driver available" when installed on 10.7 systems that didn't already have the HP drivers onboard this past year. I tracked down that KB article in hopes of sorting it out, but most of my affected users have left, and were getting by on the "generic post-script" driver. Previously the printer install process would kick a software update to grab the drivers, and it would find them - lately the "no driver available" claim has been coming back, despite the fact that systems with the drivers are pulling updates to them just fine.
Unless I can't read, it says
Use Apple Software Update to obtain the latest HP driver update for OS X 10.7 (Lion). For more information, go to Products supported in OS X 10.7 (Lion) (c02950970) (in English)
. – BenjiWiebe – 2014-07-10T02:12:36.083