NIXPKG1 http://releases.strategoxt.org/pgen-with-aterm64/pgen-2.8.1pre26912-hxp7db56/MANIFEST pgen-2.8.1pre26912 i686-linux /nix/store/lvbv0sc594amn5m20wpz84mhx8y4m9m1-pgen.drv /nix/store/rann2jxzg14sss5bd5pwznm3vaw4qa3l-pgen