Is anyone using the official Osmocom rpm repositories?