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