NIXPKG1 http://releases.strategoxt.org/webdsl/webdsl-8.8pre25872587-clavi100/MANIFEST webdsl-8.8pre25872587 x86_64-linux /nix/store/qm203b2ilhljck7snybgz7bai3q069aj-webdsl.drv /nix/store/c3aqvlhj1jqycqyaw87570zaxp95sifv-webdsl