You can show the evaluation map is a weak fibration, which is good enough for many purposes, including the formation of homotopy pullbacks.