Re: [arch-dev-public] problem with community repo db files