NIXPKG1 http://releases.strategoxt.org/pgen-with-aterm64/pgen-2.8.1pre27746-5i1zpi5a/MANIFEST pgen-2.8.1pre27746 x86_64-linux /nix/store/ndda07vc0k7h06xcbddqsjkjbkyi40i8-pgen.drv /nix/store/hbcd8kc1rsmrklgd35aypqgmlf6hnhlq-pgen