NIXPKG1 http://releases.strategoxt.org/pgen-with-aterm64/pgen-2.8.1pre27746-101rlj96/MANIFEST pgen-2.8.1pre27746 x86_64-linux /nix/store/0y1ggbpkjxsxn2m579blpdqhqj0mxx2p-pgen.drv /nix/store/75864dn3cgppv7llixqqa1gpwpb0vl6h-pgen