verifastscore/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
verifastscore/search_API.py,sha256=Njj7jyvl_OmuOQJcG-WHam-UGVf-7yyydwutJYuhMKA,3352
verifastscore/verifastscore.py,sha256=VuNVj16e4tuUkvbQq4Q26CH-XIeJgFzHXitVauUEv84,14401
verifastscore/prompts/PromptCausalLM.py,sha256=waKB2SGS2fDCpn2JzsXdoXRYeeaw5uCvKn2JZAdHbDc,4243
verifastscore/prompts/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
verifastscore-0.1.5.dist-info/METADATA,sha256=xrqIET2uTjPh_zrZtIwqN0qZMtJW7Gy6io4u6O-OXKg,7494
verifastscore-0.1.5.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
verifastscore-0.1.5.dist-info/entry_points.txt,sha256=hD6RWaMt592Fkz7UFP83gmrajttCJdbBrEfIlCSaeAA,67
verifastscore-0.1.5.dist-info/top_level.txt,sha256=__HZCkQptrV11C7fn5-v2cgsUFKhNi0BlU6WSlYEfW0,14
verifastscore-0.1.5.dist-info/RECORD,,
