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