NIXPKG1 http://releases.strategoxt.org/pgen-with-aterm64/pgen-2.8.1pre26912-6h80saaj/MANIFEST pgen-2.8.1pre26912 x86_64-linux /nix/store/vyk39carx0l4xnjzy8f6wcnbahxsc7vv-pgen.drv /nix/store/gm9s3fz6q9cpbgdhan3sn98sb93p1rw5-pgen