apalache_rpc/client.py,sha256=_uTB-7WgeksjCpkg3CIAZqKnqIQPtqNvPC6cJ2ZE4oo,22303
apalache_rpc/server.py,sha256=uA--OdBrf5bRMN8HCoM82Q4itwMAXIU0DY-pQNObcFc,10746
apalache_rpc_client-0.2.0.dist-info/METADATA,sha256=e_twTQMEa5Az6CuF8wTUUbPXK3iawltcDL3M7TnNo4c,1523
apalache_rpc_client-0.2.0.dist-info/WHEEL,sha256=zp0Cn7JsFoX2ATtOhtaFYIiE2rmFAD4OcMhtUki8W3U,88
apalache_rpc_client-0.2.0.dist-info/RECORD,,
