NIXPKG1 http://releases.strategoxt.org/pgen-with-aterm64/pgen-2.8.1pre27746-g5l2ch5i/MANIFEST pgen-2.8.1pre27746 i686-linux /nix/store/y3wh0zqh8bc6wgjkwqdaq7mfa1aj04gd-pgen.drv /nix/store/9d6m6gkskza9icmdmf0s3n7j3irzx7pq-pgen