NIXPKG1 http://releases.strategoxt.org/pgen-with-aterm64/pgen-2.8.1pre27746-8m0vmm14/MANIFEST pgen-2.8.1pre27746 x86_64-linux /nix/store/vr3iqx5gcqf8vzngxzihvqii2a6ykz6f-pgen.drv /nix/store/z7w1nb9mi3bshj19ql7zbw844ysi5hbg-pgen