apalache_rpc/client.py,sha256=V1pWR4YIl7FMZ-tKoUCfD1MERYdoPXUTD1DjDE0v6IE,26432
apalache_rpc/server.py,sha256=uA--OdBrf5bRMN8HCoM82Q4itwMAXIU0DY-pQNObcFc,10746
apalache_rpc_client-0.5.0.dist-info/METADATA,sha256=o243z5uXzuLXV_D2_zBXj0HvTrrgNCQ5KM1j5C7VYH4,2121
apalache_rpc_client-0.5.0.dist-info/WHEEL,sha256=kJCRJT_g0adfAJzTx2GUMmS80rTJIVHRCfG0DQgLq3o,88
apalache_rpc_client-0.5.0.dist-info/RECORD,,
