NIXPKG1 http://releases.strategoxt.org/pgen-with-aterm64/pgen-2.8.1pre27746-l24rjcr7/MANIFEST pgen-2.8.1pre27746 x86_64-linux /nix/store/x5r3hlxpy11vgkfgrg2mzjcwfw0hr472-pgen.drv /nix/store/ddi8864z3p5n6pandfy6409pd6ncwdvl-pgen