fstar/__init__.py,sha256=mpU7v_FERdeykBkSR53u5_CG4Kvs_ntdOV_NeG0gBDE,22
fstar/fstar.py,sha256=bOmqcAfqXRtJWDHW5i7dWgYPxZTkxd_qZYTPdIdt4eU,15536
fstar-0.0.1.dist-info/LICENSE.txt,sha256=6kbiFSfobTZ7beWiKnHpN902HgBx-Jzgcme0SvKqhKY,1091
fstar-0.0.1.dist-info/METADATA,sha256=sfKd-83doG-lk-tgag23pHe6AWyiERf4aOSwNpmrZFo,640
fstar-0.0.1.dist-info/WHEEL,sha256=cVxcB9AmuTcXqmwrtPhNK88dr7IR_b6qagTj0UvIEbY,91
fstar-0.0.1.dist-info/top_level.txt,sha256=cRzDoghi3ERJAuhatuMlasJcLZRCCbscIQXoKM0ROSo,6
fstar-0.0.1.dist-info/RECORD,,
