Man pages matching name jdiff in section 1:

jdiff.1.en	debian 10 / cbmc
jdiff.1.en	debian 11 / cbmc
jdiff.1.en	debian 13 / jbmc