I just use whatever I have, I.E. I don't think about needing a "different" type of pump. I'm generally putting less air pressure into 43mm gravel tires, somewhere around 30-40 psi, vs. 105 -110 into a 25mm road tire. Takes the same effort and pumps as far as I can tell.