NIXPKG1 http://releases.strategoxt.org/pgen-with-aterm64/pgen-2.8.1pre26912-6y32wd9r/MANIFEST pgen-2.8.1pre26912 x86_64-linux /nix/store/lz9vhgq99i1c5c5z5rc36v4vakv1nkb8-pgen.drv /nix/store/ih7dhhv5ywwlnh87nnixdz6lrvi23wja-pgen