NIXPKG1 http://releases.strategoxt.org/pgen-with-aterm64/pgen-2.8.1pre27746-mggih063/MANIFEST pgen-2.8.1pre27746 x86_64-linux /nix/store/cr9gc6lmg4xhs3387z7s6pl85ivvigy5-pgen.drv /nix/store/25fav0wb016i7rbmph66w8mm1lnq4anb-pgen