../ 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.5.2-2.debian.tar.gz 16-Jan-2014 03:24 11409 picolisp_3.1.5.2-2.dsc 16-Jan-2014 03:24 2130 picolisp_3.1.5.2-2_armhf.deb 21-Jan-2014 11:07 688514 picolisp_3.1.5.2.orig.tar.gz 14-Jan-2014 16:52 867984