../ clisp-2.42.tar.bz2 21-Oct-2007 21:00 8284453 clisp-2.42.tar.bz2.sig 21-Oct-2007 21:00 65 clisp-2.42.tar.gz 21-Oct-2007 21:00 10339652 clisp-2.42.tar.gz.sig 21-Oct-2007 21:00 65