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