../ tuxpaint-data_0.9.23-1_all.deb 09-Nov-2018 15:40 7M tuxpaint-dev_0.9.23-1_all.deb 09-Nov-2018 15:40 45K tuxpaint-plugins-default_0.9.23-1_arm64.deb 09-Nov-2018 23:10 785K tuxpaint_0.9.23-1_arm64.deb 09-Nov-2018 23:10 148K