/gnu/store/185rx6wmj91abx8zhidfy40fil7nvcrs-sbcl-db3-0.0.0-1.38e5ad3.drv