NIXPKG1 http://releases.strategoxt.org/webdsl/webdsl-8.8pre24002400-mvgz1d80/MANIFEST webdsl-8.8pre24002400 x86_64-linux /nix/store/sql2j5pn0hyv830cq517889k57gah0bm-webdsl.drv /nix/store/x1fc9b2vkpwdpr9zbamw21lsk9nh1zrv-webdsl