be21b5a82962061a18ae6a6e713d7ef48a498f78f74e7258fba6f25fd29cc186 tetex.var.fonts.diff.gz