Man pages matching name casacore-update-tai_utc in section 1:

casacore-update-tai_utc.1.en	debian 10 / casacore-data-tai-utc
casacore-update-tai_utc.1.en	debian 11 / casacore-data-tai-utc
casacore-update-tai_utc.1.en	debian 12 / casacore-data-tai-utc