apalache_rpc/client.py,sha256=zUSGPk90IMIHH_oaMkEvAHRR8s9OnnUB3IKlbFDULNE,26509
apalache_rpc/server.py,sha256=uA--OdBrf5bRMN8HCoM82Q4itwMAXIU0DY-pQNObcFc,10746
apalache_rpc_client-0.6.1.dist-info/METADATA,sha256=U7wJv6-jfpXVY9E6sJsSfDZrRvdjXRG6XumHadGvMZ4,2121
apalache_rpc_client-0.6.1.dist-info/WHEEL,sha256=kJCRJT_g0adfAJzTx2GUMmS80rTJIVHRCfG0DQgLq3o,88
apalache_rpc_client-0.6.1.dist-info/RECORD,,
