NIXPKG1 http://releases.strategoxt.org/webdsl/webdsl-8.8pre26352635-20njamcv/MANIFEST webdsl-8.8pre26352635 x86_64-linux /nix/store/qa2si59a2m62dhimc2qxxg9gmsjss4zv-webdsl.drv /nix/store/ixildwcpf78ih2nyq11nmk16lxyxy2jf-webdsl