../ mini-dinstall_0.7.0.dsc 30-Jul-2019 23:37 1656 mini-dinstall_0.7.0.tar.xz 30-Jul-2019 23:37 42304 mini-dinstall_0.7.0_all.deb 31-Jul-2019 00:17 41328