Re: [Ciao-users] RPM for ciao-1.15.0(r15011) still broken