<div dir="ltr"><div class="gmail_extra">Sorry if this is not the correct way to reply, but I'm not used to mailing lists.</div><div class="gmail_extra"><br></div><div class="gmail_extra">The solution <span style="color:rgb(0,0,0);white-space:pre-wrap">Siep Kroonenberg suggested to me (to install from another repository) worked perfectly.</span></div><div class="gmail_extra"><span style="color:rgb(0,0,0);white-space:pre-wrap">Thank you very much for your help!</span></div><div class="gmail_extra"><span style="color:rgb(0,0,0);white-space:pre-wrap"><br></span></div><div class="gmail_extra"><span style="color:rgb(0,0,0);white-space:pre-wrap">Ciao!</span></div><div class="gmail_extra"><span style="color:rgb(0,0,0);white-space:pre-wrap">Carla</span></div><div class="gmail_extra"><span style="color:rgb(0,0,0);white-space:pre-wrap"><br></span></div></div>