Separate binaries and kdist in nix derivation into different outputs#35

automergerpr-permission-manager[bot] merged 2 commits intomasterruntimeverification/skribe:masterfrom

nix-multiple-outputsruntimeverification/skribe:nix-multiple-outputsCopy head branch name to clipboard