RPM source files for installing Tectonic workers on RHEL - View it on GitHub