NIXPKG1 http://releases.strategoxt.org/pgen-with-aterm64/pgen-2.8.1pre27746-c38rzqkz/MANIFEST pgen-2.8.1pre27746 x86_64-linux /nix/store/a12i8b02n2izj1ix88b5cf5vd42shifs-pgen.drv /nix/store/y7d99fkakn8rwfvihfcfmx75lcsyqvhx-pgen