<div dir="ltr">Ok Jurgen, thanks, i was looking for it under the Libs group, while it is under Commandline_utilities. <div><br></div><div>giovanni</div></div><div class="gmail_extra"><br><div class="gmail_quote">2017-10-18 14:46 GMT+02:00 G. Allegri <span dir="ltr"><<a href="mailto:giohappy@gmail.com" target="_blank">giohappy@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><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>
</blockquote></div><br></div>