../ tuxboot_0.8debian1.dsc 22-Mar-2016 02:27 1487 tuxboot_0.8debian1.tar.gz 22-Mar-2016 02:27 30968077 tuxboot_0.8debian1_amd64.build 22-Mar-2016 02:27 13240 tuxboot_0.8debian1_amd64.changes 22-Mar-2016 02:27 2170 tuxboot_0.8debian1_amd64.deb 22-Mar-2016 02:27 361182