NIXPKG1 http://releases.strategoxt.org/webdsl/webdsl-8.8pre23642364-d62cr1cg/MANIFEST webdsl-8.8pre23642364 x86_64-linux /nix/store/x8x5l3l9jp76rsbx19wx3pj1p1122rff-webdsl.drv /nix/store/c8lp8f7hb0rfpzz10wg998q7rwjy89r2-webdsl