NIXPKG1 http://releases.strategoxt.org/pgen-with-aterm64/pgen-2.8.1pre27746-h6j6i72s/MANIFEST pgen-2.8.1pre27746 x86_64-linux /nix/store/mfip4047f5hfgzjn3wqdkilxx0dp8rmq-pgen.drv /nix/store/rh7ghad0jdnpm9w7v3rir2svgpzfhp6c-pgen