../ sonic-pi-samples_2.10.0~repack-1_all.deb 18-Apr-2016 11:59 14825726 sonic-pi-server-doc_2.10.0~repack-1_all.deb 18-Apr-2016 11:59 728498 sonic-pi-server_2.10.0~repack-1_all.deb 18-Apr-2016 11:59 180136 sonic-pi_2.10.0~repack-1.debian.tar.xz 18-Apr-2016 09:42 27092 sonic-pi_2.10.0~repack-1.dsc 18-Apr-2016 09:42 2535 sonic-pi_2.10.0~repack-1_armhf.deb 24-Apr-2016 10:08 4000438 sonic-pi_2.10.0~repack.orig.tar.gz 18-Apr-2016 09:42 25993922