../ mini-dinstall_0.7.0.dsc 03-Aug-2019 21:23 1656 mini-dinstall_0.7.0.tar.xz 03-Aug-2019 21:23 42304 mini-dinstall_0.7.0_all.deb 03-Aug-2019 21:33 34204