/gnu/store/f6q02x3dy2sznhmcf75bfxrm02bk87fc-sbcl-db3-0.0.0-1.38e5ad3.drv