coq_jupyter/__init__.py,sha256=K_idJSWg1CnZOFVXKFKyX5_lBJewteEeYyXsnRJLt9I,67
coq_jupyter/__main__.py,sha256=XPDHaevGJ5IKYMCrqdTEwjRdx1dv21nJD1JOtttEN-E,164
coq_jupyter/coqtop.py,sha256=8HctOs43mZy9Q1O_31DF5SSwZnRbfbnvwfQ2tlO5JUk,12341
coq_jupyter/install.py,sha256=lKhRsO5tF48TejzS_fadFmTTOg1-2l7CmBkBXtw_6qI,2570
coq_jupyter/kernel.js,sha256=P6t8YLsMIBk50Rw1EpVw7N3JJMboMeU2f2GFdWFBwJU,25862
coq_jupyter/kernel.py,sha256=dERWdz3RU2qlrM7axmr_bU9aYZdsqbRYfU3SMexG1Mg,10227
coq_jupyter/renderer.py,sha256=YndhePb0oYc8tBoTBkV_Npg-aeVO9iPhbdibKTZ2Z9E,2542
coq_jupyter-1.5.3.dist-info/LICENSE,sha256=HrhfyXIkWY2tGFK11kg7vPCqhgh5DcxleloqdhrpyMY,11558
coq_jupyter-1.5.3.dist-info/METADATA,sha256=xvLEsX5Lq1YFOulQFaxZ5iJ7iy2d2-Ye4impOhIUUlA,893
coq_jupyter-1.5.3.dist-info/WHEEL,sha256=aEiWNTQcG6AiGGAYQ9qHTifyKRnmFJvDeTI0hP5aohY,116
coq_jupyter-1.5.3.dist-info/top_level.txt,sha256=nb1rfVZEGmY0gEqwLxyzlj6ku967izdTXv8RY7EkiD4,12
coq_jupyter-1.5.3.dist-info/RECORD,,
