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.2.dist-info/METADATA,sha256=6AvusjUTc65jI2WTDZv_zaovJ7lEVh8SV7rFACYhH0g,435
verifastscore-0.1.2.dist-info/WHEEL,sha256=2wepM1nk4DS4eFpYrW1TTqPcoGNfHhhO_i5m4cOimbo,92
verifastscore-0.1.2.dist-info/entry_points.txt,sha256=hD6RWaMt592Fkz7UFP83gmrajttCJdbBrEfIlCSaeAA,67
verifastscore-0.1.2.dist-info/top_level.txt,sha256=__HZCkQptrV11C7fn5-v2cgsUFKhNi0BlU6WSlYEfW0,14
verifastscore-0.1.2.dist-info/RECORD,,
