NIXPKG1 http://releases.strategoxt.org/pgen-with-aterm64/pgen-2.8.1pre27746-g5l2ch5i/MANIFEST pgen-2.8.1pre27746 x86_64-linux /nix/store/3mpq641rygd48rwxkah1jcpvzinikv7v-pgen.drv /nix/store/9dlnp251ypb8c90f7aaqic1jlf3x1ysn-pgen