NIXPKG1 http://releases.strategoxt.org/pgen-with-aterm64/pgen-2.8.1pre27746-zpiri524/MANIFEST pgen-2.8.1pre27746 x86_64-linux /nix/store/nw7mggjsgf7p853kix6k8vzkal8mn1ra-pgen.drv /nix/store/g0is3bd4vr71k8f8xbglw8m197a8745c-pgen