verifastscore/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
verifastscore/search_API.py,sha256=Njj7jyvl_OmuOQJcG-WHam-UGVf-7yyydwutJYuhMKA,3352
verifastscore/verifastscore.py,sha256=LYCnsx_dupsUgv7pU_ZidWkUknc3hi6-NhBwoN1GpRE,14606
verifastscore/prompts/PromptCausalLM.py,sha256=waKB2SGS2fDCpn2JzsXdoXRYeeaw5uCvKn2JZAdHbDc,4243
verifastscore/prompts/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
verifastscore-0.1.0.dist-info/METADATA,sha256=5wDC85kGnI2kqs9I8yajkQFzkJKiLyODo7WWvYwi8Rs,599
verifastscore-0.1.0.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
verifastscore-0.1.0.dist-info/entry_points.txt,sha256=hD6RWaMt592Fkz7UFP83gmrajttCJdbBrEfIlCSaeAA,67
verifastscore-0.1.0.dist-info/top_level.txt,sha256=__HZCkQptrV11C7fn5-v2cgsUFKhNi0BlU6WSlYEfW0,14
verifastscore-0.1.0.dist-info/RECORD,,
