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