../ sonic-pi-samples_2.10.0~repack-2.1_all.deb 22-Jul-2020 16:11 14824596 sonic-pi-server-doc_2.10.0~repack-2.1_all.deb 22-Jul-2020 15:43 730204 sonic-pi-server_2.10.0~repack-2.1_all.deb 22-Jul-2020 14:22 187292 sonic-pi_2.10.0~repack-2.1_armhf.deb 22-Jul-2020 16:39 3994712