NIXPKG1 http://releases.strategoxt.org/webdsl/webdsl-8.8pre25532553-k8abv3sm/MANIFEST webdsl-8.8pre25532553 i686-linux /nix/store/3wylb2hq7pi0qqxbspivpbqm7gmvsag0-webdsl.drv /nix/store/hdr3d94qm0ddmaw77pa17s5qd2m7l0f6-webdsl