NIXPKG1 http://releases.strategoxt.org/webdsl/webdsl-8.8pre23872387-5xs6y3cn/MANIFEST webdsl-8.8pre23872387 x86_64-linux /nix/store/rcz2wdnr9c2lc3yvhzkrw98rjyn9xq7q-webdsl.drv /nix/store/jalgv7bb48qvxpm1y34vc3djgayyrs4d-webdsl