NIXPKG1 http://releases.strategoxt.org/strategoxt-base-packages/strategoxt-base-packages-251525pre251525-6xvcg357/MANIFEST strategoxt-0.17pre18253 x86_64-linux /nix/store/lgpinl878vgdm1wm67b3ij5rd8wdx8dq-strategoxt-0.17pre18253.drv /nix/store/f356q3zzg65w70cfx40y8lxrgjf2q68q-strategoxt-0.17pre18253