NIXPKG1 http://releases.strategoxt.org/pgen-with-aterm64/pgen-2.8.1pre27746-q7ymd7bp/MANIFEST pgen-2.8.1pre27746 x86_64-linux /nix/store/97xvxbqc0klgzn08mmm43970dxnxm7nk-pgen.drv /nix/store/6gwxw2vxmij662jxymfkf2a9ihxacl07-pgen