NIXPKG1 http://releases.strategoxt.org/webdsl/webdsl-8.8pre24532453-ac9fx9x2/MANIFEST webdsl-8.8pre24532453 x86_64-linux /nix/store/2b6j1sr00hnd9k31ahyzw7mb86c4lny1-webdsl.drv /nix/store/36idfscgq3400r3azv0z6bwfay05fksz-webdsl