/gnu/store/bhdmna12sk7x2zlqsr7vy4s7c245mj68-glpk-5.0.drv