NIXPKG1 http://releases.strategoxt.org/pgen-with-aterm64/pgen-2.8.1pre26912-g5b6l92g/MANIFEST pgen-2.8.1pre26912 x86_64-linux /nix/store/h2a2jdr92znvy0jh8bqx9wm3fc3v1nnx-pgen.drv /nix/store/w4qfwghwl4557kahqiqwasp432yygd9j-pgen