../ sonic-pi-samples_2.10.0~repack-1_all.deb 18-Apr-2016 19:59 14M sonic-pi-server-doc_2.10.0~repack-1_all.deb 18-Apr-2016 19:59 711K sonic-pi-server_2.10.0~repack-1_all.deb 18-Apr-2016 19:59 176K sonic-pi_2.10.0~repack-1.debian.tar.xz 18-Apr-2016 17:42 26K sonic-pi_2.10.0~repack-1.dsc 18-Apr-2016 17:42 2535 sonic-pi_2.10.0~repack-1_mipsel.deb 19-Apr-2016 02:32 4M sonic-pi_2.10.0~repack.orig.tar.gz 18-Apr-2016 17:42 25M