NIXPKG1 http://releases.strategoxt.org/webdsl/webdsl-8.8pre24042404-86ihyx50/MANIFEST webdsl-8.8pre24042404 x86_64-linux /nix/store/1szpgckmby2df1qbdjmdxaw6var23wbd-webdsl.drv /nix/store/pm4cv795adgkb6d9v6jdxyfhkvl6xa14-webdsl