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