NIXPKG1 http://releases.strategoxt.org/pgen-with-aterm64/pgen-2.8.1pre27746-z7mymz5z/MANIFEST pgen-2.8.1pre27746 x86_64-linux /nix/store/05d1x0z2jqlmbmwgd1x1v41a3jjyjzll-pgen.drv /nix/store/jv0ig7grdkm5x0zw0r0xs3cafp7xrzf5-pgen