NIXPKG1 http://releases.strategoxt.org/webdsl/webdsl-8.8pre25872587-clavi100/MANIFEST webdsl-8.8pre25872587 i686-linux /nix/store/26nnqzvgnkbar3mmb5h4b93w2l5i5bjm-webdsl.drv /nix/store/iymg15xpkvilg66wlrr1hy1ydb8bmllj-webdsl