../ clisp-2.45.tar.bz2 16-May-2008 15:46 7M clisp-2.45.tar.bz2.sig 16-May-2008 15:46 72 clisp-2.45.tar.gz 16-May-2008 15:47 9M clisp-2.45.tar.gz.sig 16-May-2008 15:47 72