/gnu/store/azbnc9fp7ysw775iid28in6ds8rpkvjw-sbcl-chipz-0.8-1.75dfbc6-checkout.drv