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