NIXPKG1 http://releases.strategoxt.org/webdsl/webdsl-8.8pre25282528-smv4i7z9/MANIFEST webdsl-8.8pre25282528 x86_64-linux /nix/store/p070hah5b2gj67rfjpgn003ak9myj8ap-webdsl.drv /nix/store/fgzg8031g0b8rz6c8ldyvmq64v13da01-webdsl