NIXPKG1 http://releases.strategoxt.org/pgen-with-aterm64/pgen-2.8.1pre26912-aqmhfxsm/MANIFEST pgen-2.8.1pre26912 x86_64-linux /nix/store/07afqc53b3qqw40rd1l7ylcxi1qf0x3j-pgen.drv /nix/store/051p2jsq39kaaz7prhabybfwhqfd96rd-pgen