<div dir="ltr">Hello,<div>I can see python-devev 2.7.5-1 but python3-devel is not listed.</div><div>Is it missing or what?</div><div><br></div><div>Thanks,</div><div>giovanni</div></div>