Man pages matching name hfst-push-weights in section 1:

hfst-push-weights.1.en	debian 10 / hfst
hfst-push-weights.1.en	debian 11 / hfst
hfst-push-weights.1.en	debian 12 / hfst