NIXPKG1 http://releases.strategoxt.org/stratego-libraries/stratego-libraries-0.17pre1825318253-5smb3x2l/MANIFEST stratego-libraries-0.17pre1825318253 x86_64-linux /nix/store/3jshhv4h81dmv2x6a3yg079rdxl8z6sn-stratego-libraries.drv /nix/store/yjnydlgp7j3vn62kc0sw443y6qqvlyfr-stratego-libraries