/gnu/store/rp28pdlmp8mh8f7z4fzdjy3y09hwxv4y-sbcl-md5-2.0.4.drv