/gnu/store/d4mig8439l40rrrb6n8dk341gmbszrs9-eigen-3.3.8.tar.xz.drv