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