NIXPKG1 http://releases.strategoxt.org/webdsl/webdsl-8.8pre25722572-bd89h5d2/MANIFEST webdsl-8.8pre25722572 x86_64-linux /nix/store/gg2n8y5hq2b5cin2ylwibdywjsaj1501-webdsl.drv /nix/store/ksg60y15wpg47ny7h8brpk77a1xkg4qz-webdsl