../ mini-soong_0.20200716.dsc 16-Jul-2020 07:21 1586 mini-soong_0.20200716.tar.xz 16-Jul-2020 07:21 8248 mini-soong_0.20200716_all.deb 16-Jul-2020 07:56 10116