../ tegrarcm_1.8-1.debian.tar.xz 22-Oct-2018 06:00 5036 tegrarcm_1.8-1.dsc 22-Oct-2018 06:00 1767 tegrarcm_1.8-1_amd64.deb 22-Oct-2018 06:00 167716 tegrarcm_1.8.orig.tar.gz 22-Oct-2018 06:00 457036