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