NIXPKG1 http://releases.strategoxt.org/pgen-with-aterm64/pgen-2.8.1pre27746-mnxcn2jm/MANIFEST pgen-2.8.1pre27746 x86_64-linux /nix/store/pqy21d6nla5y568pnivx38kbkgqc50fd-pgen.drv /nix/store/y8a1j1sns4dbdhn4qkr9ds8ygfjp0f3b-pgen