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