tlaplus_jupyter/__init__.py,sha256=hUvFYuD34-EJXz4rF6hychssVwPqg8OUVgDzt3NowJk,55
tlaplus_jupyter/__main__.py,sha256=4G_j4Pwf4nKz30U52VgEvfXefS08W0x_9PffFywtSw8,129
tlaplus_jupyter/install.py,sha256=V8nFVj781tpebyZOGqKz0NFWzLUqaZhZTNMlHPi06E0,2313
tlaplus_jupyter/kernel.py,sha256=CB2MiKZW7fUOVLUOiPhwjJEHcBcyIZyeb6XdPEnR5Zk,9679
tlaplus_jupyter/assets/kernel.js,sha256=ARtu4f5FHzK5M4Fi-wNNAry0x5dYUllHbzj8O5BXJhM,7796
tlaplus_jupyter-0.1.dist-info/LICENSE,sha256=mHbS1y-9ub4Irr9qtyNt-Df-HfWTCa5P26KSE-W6JSw,1561
tlaplus_jupyter-0.1.dist-info/METADATA,sha256=Cb9bHcwUCho2lk8UJjKEI5R2hsh_UzCHmAQ6tXIMch8,4440
tlaplus_jupyter-0.1.dist-info/WHEEL,sha256=p46_5Uhzqz6AzeSosiOnxK-zmFja1i22CrQCjmYe8ec,92
tlaplus_jupyter-0.1.dist-info/top_level.txt,sha256=qlj0xeuprdq1eod6uzhWIsS4hM5poTGofgCGqgNwGdY,16
tlaplus_jupyter-0.1.dist-info/RECORD,,
