Ah yes, you are right. I missed the fact that the Raspberry Pi repos are actually from Astroberry and independent from Jasem's repos. Somehow I thought everything under "GET INDI" should have been from the same source. Regards & CS GuidoRead More...