../ tuxpaint-config_0.0.14-1.debian.tar.xz 11-Sep-2018 07:55 5384 tuxpaint-config_0.0.14-1.dsc 11-Sep-2018 07:55 2071 tuxpaint-config_0.0.14-1_amd64.deb 11-Sep-2018 07:55 237212 tuxpaint-config_0.0.14.orig.tar.gz 11-Sep-2018 07:55 472856