fix(nix): anchor result* source filter so result_xdr.py is packaged#51

RaoulSchaffranek merged 1 commit into

mainruntimeverification/komet-node:mainfrom

fix/nix-source-filter-result-xdrruntimeverification/komet-node:fix/nix-source-filter-result-xdrCopy head branch name to clipboard