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.1.dist-info/METADATA,sha256=d36LkvIayW9i3ufziSQ1ybIE4cFdnPsz9SoM0ZkGP5Y,502
verifastscore-0.1.1.dist-info/WHEEL,sha256=2wepM1nk4DS4eFpYrW1TTqPcoGNfHhhO_i5m4cOimbo,92
verifastscore-0.1.1.dist-info/entry_points.txt,sha256=hD6RWaMt592Fkz7UFP83gmrajttCJdbBrEfIlCSaeAA,67
verifastscore-0.1.1.dist-info/top_level.txt,sha256=__HZCkQptrV11C7fn5-v2cgsUFKhNi0BlU6WSlYEfW0,14
verifastscore-0.1.1.dist-info/RECORD,,
