/gnu/store/gjdqdns6nm00kjj1qxkds9c6793l6lqz-re2c-2.0.3.drv