remove redundant repos

* makes us way more independent, also regarding other distributions (Omni, PA)