fstar/__init__.py,sha256=mpU7v_FERdeykBkSR53u5_CG4Kvs_ntdOV_NeG0gBDE,22
fstar/fstar.py,sha256=--ClGBAwgz2d7rcgLDULwswj4_1-jBOJ3BZaF97uLvU,15652
fstar-0.0.2.dist-info/LICENSE.txt,sha256=6kbiFSfobTZ7beWiKnHpN902HgBx-Jzgcme0SvKqhKY,1091
fstar-0.0.2.dist-info/METADATA,sha256=pmQPShhcW5tzT4jcy7XLTB6CYv7_FE8XdOO6QW-rGyE,640
fstar-0.0.2.dist-info/WHEEL,sha256=cVxcB9AmuTcXqmwrtPhNK88dr7IR_b6qagTj0UvIEbY,91
fstar-0.0.2.dist-info/top_level.txt,sha256=cRzDoghi3ERJAuhatuMlasJcLZRCCbscIQXoKM0ROSo,6
fstar-0.0.2.dist-info/RECORD,,
