NIXPKG1 http://releases.strategoxt.org/pgen-with-aterm64/pgen-2.8.1pre26912-zx0ybhrg/MANIFEST pgen-2.8.1pre26912 x86_64-linux /nix/store/ka1fnnsdbs4dmzakc810kvw12cbra2g3-pgen.drv /nix/store/xv96wj1ansb4p36mjjzfb1lzs2jggpsg-pgen