../ sonic-pi-samples_2.10.0~repack-2_all.deb 17-May-2016 19:16 14824894 sonic-pi-server-doc_2.10.0~repack-2_all.deb 17-May-2016 19:16 730280 sonic-pi-server_2.10.0~repack-2_all.deb 17-May-2016 19:16 187804 sonic-pi_2.10.0~repack-2.debian.tar.xz 17-May-2016 18:21 27532 sonic-pi_2.10.0~repack-2.dsc 17-May-2016 18:21 2535 sonic-pi_2.10.0~repack-2_armhf.deb 23-May-2016 16:08 4000612 sonic-pi_2.10.0~repack.orig.tar.gz 18-Apr-2016 09:42 25993922