MD5 (clisp-2.25.1.tar.bz2) = 3806df44a0e77c63788ad0bb9186f1f6