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.4.dist-info/METADATA,sha256=oiY95T_Y9SKfISx0PMQKUmQyESnJrfpQ981w9GLhPz4,7167
verifastscore-0.1.4.dist-info/WHEEL,sha256=oiQVh_5PnQM0E3gPdiz09WCNmwiHDMaGer_elqB3coM,92
verifastscore-0.1.4.dist-info/entry_points.txt,sha256=hD6RWaMt592Fkz7UFP83gmrajttCJdbBrEfIlCSaeAA,67
verifastscore-0.1.4.dist-info/top_level.txt,sha256=__HZCkQptrV11C7fn5-v2cgsUFKhNi0BlU6WSlYEfW0,14
verifastscore-0.1.4.dist-info/RECORD,,
