NIXPKG1 http://releases.strategoxt.org/pgen-with-aterm64/pgen-2.8.1pre26912-pdgd74ma/MANIFEST pgen-2.8.1pre26912 x86_64-linux /nix/store/xa7lx9jn3w7ca78s7x98z2rismghbca0-pgen.drv /nix/store/6wwfbfsjmwkfkzs532cpj9823jvamkgj-pgen