/gnu/store/gx288fwdl88bmy7ch2nz1gbp5yhl24pj-sbcl-documentation-utils-1.2.0-0.98630dd-checkout.drv