On 2023-12-08 14:04, Brooks Harris wrote: > > As far as I can tell there is no "leap-seconds.list" file at IERS. It's here: https://hpiers.obspm.fr/iers/bul/bulc/ntp/leap-seconds.list as mentioned in 'leapseconds' and 'leapseconds.awk'.