../ picolisp_3.0.8.10-1_amd64.deb 28-Dec-2011 09:33 864K picolisp_3.0.8.10-1_i386.deb 28-Dec-2011 09:05 803K