NIXPKG1 http://releases.strategoxt.org/pgen-with-aterm64/pgen-2.8.1pre26912-g5b6l92g/MANIFEST pgen-2.8.1pre26912 i686-linux /nix/store/w31icgyl5s8sqi6wbs86bvbci7r07fx0-pgen.drv /nix/store/ip6w8pff064lspp8g28ms2zzdfj1az81-pgen