../ sonic-pi-samples_2.10.0~repack-2.1_all.deb 04-Jan-2018 12:17 14824596 sonic-pi-server-doc_2.10.0~repack-2.1_all.deb 04-Jan-2018 12:17 730204 sonic-pi-server_2.10.0~repack-2.1_all.deb 04-Jan-2018 12:17 187292 sonic-pi_2.10.0~repack-2.1.debian.tar.xz 04-Jan-2018 12:17 27716 sonic-pi_2.10.0~repack-2.1.dsc 04-Jan-2018 12:17 2545 sonic-pi_2.10.0~repack-2.1_amd64.deb 04-Jan-2018 12:17 4013648 sonic-pi_2.10.0~repack.orig.tar.gz 18-Apr-2016 09:42 25993922