NIXPKG1 http://releases.strategoxt.org/pgen-with-aterm64/pgen-2.8.1pre26912-2hh0kjyx/MANIFEST pgen-2.8.1pre26912 x86_64-linux /nix/store/2zvdjdz5j8lmg4naln2g0a9n9rr292n0-pgen.drv /nix/store/rjp90lz39fq9wb33lj9l0zm9hkypj4mj-pgen