../ fonts-inter_3.12-1.debian.tar.xz 19-Feb-2020 16:31 5800 fonts-inter_3.12-1.dsc 19-Feb-2020 16:31 1977 fonts-inter_3.12-1_all.deb 19-Feb-2020 17:01 1520052 fonts-inter_3.12.orig.tar.xz 19-Feb-2020 16:31 41786924