apalache_rpc/client.py,sha256=crBtUB8aMA0fwuRI82rSgaF5SKXoEQo3iJOxyrsld-c,27569
apalache_rpc/server.py,sha256=uA--OdBrf5bRMN8HCoM82Q4itwMAXIU0DY-pQNObcFc,10746
apalache_rpc_client-0.7.2.dist-info/METADATA,sha256=FdNANGrYQwFlO4O-LqPYo0AHF7ggpH9dEx90epoN7NU,2121
apalache_rpc_client-0.7.2.dist-info/WHEEL,sha256=Vz2fHgx6HFtSwhs8KvkHLqH5Ea4w1_rner5uNVGCeIE,88
apalache_rpc_client-0.7.2.dist-info/RECORD,,
