../ clisp-2.47-x86_64-2.txt 23-May-2009 04:27 665 clisp-2.47-x86_64-2.txz 23-May-2009 04:27 3894640 dev86-0.16.17-x86_64-2.txt 23-May-2009 04:29 412 dev86-0.16.17-x86_64-2.txz 23-May-2009 04:29 287864