Re: mysql5 vs. mysql5-devel