On 08/12/2020 15:15, Pete Biggs wrote: > So as far as I can see all the RHEL rebuilds are dead now - WhiteBox, > Scientific Linux, now CentOS. Are there any left? Springdale: http://springdale.math.ias.edu/ -- Harold Toms SBCS NMR Manager Working from home