NIXPKG1 http://releases.strategoxt.org/webdsl/webdsl-8.8pre24142414-95h6s5p7/MANIFEST webdsl-8.8pre24142414 x86_64-linux /nix/store/6apj2m0hfdgnsp5n8a1rn09h8lhwqbzy-webdsl.drv /nix/store/qf2xry74qk8clrpd1rxsc5aj2vk80j84-webdsl