../ picolisp_3.1.0.7-1.debian.tar.gz 25-Jun-2012 06:47 9341 picolisp_3.1.0.7-1.dsc 25-Jun-2012 06:47 2132 picolisp_3.1.0.7.orig.tar.gz 25-Jun-2012 06:47 819963 picolisp_3.1.2.12-1.debian.tar.gz 20-Jun-2013 14:00 15499 picolisp_3.1.2.12-1.dsc 20-Jun-2013 14:00 2154 picolisp_3.1.2.12-1_armhf.deb 06-Jul-2013 23:10 885530 picolisp_3.1.2.12.orig.tar.gz 20-Jun-2013 14:00 863673