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