VeriSnip/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
VeriSnip/vs_build.py,sha256=9KcPtlLXKvYgotKxP3F_wsoTcxDzyqRvCUEjYwN_Yvw,24274
VeriSnip/vs_colours.py,sha256=CPzoKzoICEvunzInsbaPrD7bjXuHdxclSIkDr1Wb1yU,1041
verisnip-0.0.2.dist-info/licenses/LICENSE,sha256=wHBBh6DV1Pxc_5td5MbXN3hSayI_GeRAFnPkz8Raorc,11343
verisnip-0.0.2.dist-info/METADATA,sha256=sxnvtC83OogG7ymDh02NglrjUVXUcFX_ViR1aSLpXOE,11626
verisnip-0.0.2.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
verisnip-0.0.2.dist-info/entry_points.txt,sha256=GFqg8voNC7pZFBKCDkW_UTUfamZq9ESw-ATgzfEUNYg,52
verisnip-0.0.2.dist-info/top_level.txt,sha256=uzfjuqyW0dq6lo9ewzjNUpnjo0Pf8m9YD_DZqzdQbjo,9
verisnip-0.0.2.dist-info/RECORD,,
