EL8-redsleeve Redsleeve rpms for EL8 This repository contains the sources for rpms which RedSleeve adds on top of the upstream rpms. Some rpms are just rebuilds of items found elsewhere on the web. They are documented below.