coq_jupyter/__init__.py,sha256=K_idJSWg1CnZOFVXKFKyX5_lBJewteEeYyXsnRJLt9I,67
coq_jupyter/__main__.py,sha256=XPDHaevGJ5IKYMCrqdTEwjRdx1dv21nJD1JOtttEN-E,164
coq_jupyter/coqtop.py,sha256=j1EvtfsEq7FPmKvjaL5dbdk2QTSZbbYYlacpX2at7Sw,11587
coq_jupyter/install.py,sha256=lKhRsO5tF48TejzS_fadFmTTOg1-2l7CmBkBXtw_6qI,2570
coq_jupyter/kernel.js,sha256=rAzdBiJ28IvqdSL3FB4FHkkRuEzsZLALPVIKIEAHL74,25862
coq_jupyter/kernel.py,sha256=BdsM0R6qwd2YRZ-9JHUloNtTuNQnbQ0R1GYocAVy9AU,10227
coq_jupyter/renderer.py,sha256=YndhePb0oYc8tBoTBkV_Npg-aeVO9iPhbdibKTZ2Z9E,2542
coq_jupyter-1.5.0.dist-info/LICENSE,sha256=HrhfyXIkWY2tGFK11kg7vPCqhgh5DcxleloqdhrpyMY,11558
coq_jupyter-1.5.0.dist-info/METADATA,sha256=IEohbN4ktvO-Zln9aA21LuBDGpKAyodFTtcvUWPSJx0,893
coq_jupyter-1.5.0.dist-info/WHEEL,sha256=aEiWNTQcG6AiGGAYQ9qHTifyKRnmFJvDeTI0hP5aohY,116
coq_jupyter-1.5.0.dist-info/top_level.txt,sha256=nb1rfVZEGmY0gEqwLxyzlj6ku967izdTXv8RY7EkiD4,12
coq_jupyter-1.5.0.dist-info/RECORD,,
