NIXPKG1 http://releases.strategoxt.org/pgen-with-aterm64/pgen-2.8.1pre27746-xs00kzkq/MANIFEST pgen-2.8.1pre27746 x86_64-linux /nix/store/krgpbv0rrq4kbdf6wz4y47dyj8djxmlg-pgen.drv /nix/store/9h0bjw4wmlrgvwgmsc3i0s165926hxmz-pgen