VeriSnip/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
VeriSnip/vs_build.py,sha256=sTERjxAUlMRClyz5PEeKrM7I9hL8vul2NiUmfS1hrCg,26645
VeriSnip/vs_colours.py,sha256=jDEiwAmiKevghpNUFSnJmAn28McUcF_Naqqw2UpXqTc,1035
verisnip-0.0.4.dist-info/licenses/LICENSE,sha256=wHBBh6DV1Pxc_5td5MbXN3hSayI_GeRAFnPkz8Raorc,11343
verisnip-0.0.4.dist-info/METADATA,sha256=BwwTEnT7NcmNPtAxOUNt2jl2U5huKhsZPw4WKnLdBfc,11909
verisnip-0.0.4.dist-info/WHEEL,sha256=aeYiig01lYGDzBgS8HxWXOg3uV61G9ijOsup-k9o1sk,91
verisnip-0.0.4.dist-info/entry_points.txt,sha256=GFqg8voNC7pZFBKCDkW_UTUfamZq9ESw-ATgzfEUNYg,52
verisnip-0.0.4.dist-info/top_level.txt,sha256=uzfjuqyW0dq6lo9ewzjNUpnjo0Pf8m9YD_DZqzdQbjo,9
verisnip-0.0.4.dist-info/RECORD,,
