NIXPKG1 http://releases.strategoxt.org/webdsl/webdsl-8.8pre25532553-k8abv3sm/MANIFEST webdsl-8.8pre25532553 x86_64-linux /nix/store/6f8dr3hx88rzp00jq6ip3lhw1zh4f0fz-webdsl.drv /nix/store/p3n675zrcqybwxssyx192cyv7br4njfy-webdsl