Druckertreiber für HP Color LaserJet 3800dtn

Kann mir jemand sagen, wie ich an den obigen Treiber komme?

Vielen Dank für die Hilfe.
Hartmuth

sollte in hplip enthalten sein. findest du mit dem paketmanager.
wenn du nach hplip googelst, findest du info, wie dein drucker mit diesem treiber läuft bzw was evtl. noch nicht funktioniert.
hplip ist das hp linux imaging and printing project