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