alectryon/__init__.py,sha256=qLNNjChtR-chmP4RvBcUPdpw9AAFLl6humXHJtsjS-A,1419
alectryon/__main__.py,sha256=98JoCzNWJLnN6prm8Qsd8yRE4HFHoRqNwfY5bwDDg5U,1128
alectryon/cli.py,sha256=b8odMl9QGNigQqyqaiKmEfcElGlL5zAuPW0R_37aXi0,47117
alectryon/coq.py,sha256=HJCOQePSuI46Pq6vty4E0gsA5UlfA09abt8RnAzggbE,4521
alectryon/coqc_time.py,sha256=fGAtUNyuhXlOjr5u6kUroSLZqGoUfI2xz3HpOMY1F2c,3185
alectryon/coqlsp.py,sha256=gaFc3RY-urWjFxhLNodgQ_H3XGssjIQ4WveSOpik1Ys,4799
alectryon/core.py,sha256=a3clRQLEmsTVragiWRoDwZIOo3LgJ8TvVqgUnmqzlfM,33072
alectryon/dafny.py,sha256=i_MlaPHd2AMkKgC2IKmlnkIpSXOs1yi2f-MmfnsGj34,3501
alectryon/docutils.py,sha256=_zqW9d7KC1hKRu4PGTyod_DvWa4ZK_F_uStJcpnP9T4,64443
alectryon/html.py,sha256=k6COyFiyfLXc6e2efQjuGHShtfCzdiFQRpiPbbF2qSo,13113
alectryon/json.py,sha256=OvWAbFKxJGn2H4VUvAfEvNPD0BIguTPtlMZ50ar6or4,17928
alectryon/latex.py,sha256=QlF3kFvLhEz2jH3lHreabGdzq22qEalVSl1WH2nR24I,11773
alectryon/lean3.py,sha256=xvVEWFADWKKe3GIg-r3aAvzAFgzzXtCtJgierPfNB0A,13299
alectryon/lean4.py,sha256=L65F_5bQ7gOnvuQ7rmyTP99Ia3TcOTV5GabktS4idT0,3747
alectryon/literate.py,sha256=ZgauBmsu2rDBEk1-VVxOo43GwHzPPQIG3W7LxQ-YcnY,52636
alectryon/lsp.py,sha256=_zJTaZyHKOcY3ganMfFX3eNhSq7hK5vXYxDtQ8WjDBE,17438
alectryon/markers.py,sha256=LDWp_Nx6u7kLfFxi8kPil3b97uy-qxLUtVv3aGdU9co,6843
alectryon/minimal.py,sha256=QOjBdh5B-nNwzBiyZRJQmYVmNynSckznJzV1W_jq-Lc,4152
alectryon/myst.py,sha256=klGhO3xvkFtx_FhFTdvN976gSUBcGdOY-msGQLGNIXI,2083
alectryon/noop.py,sha256=cDpi04Ogrlei6JtIpBZqOwO71UoowQp2OXd0yPvuH2g,1516
alectryon/pygments.py,sha256=IxL0RTIZnOX2GqTcrGYRr7EaOq1oNz2Uds6fENR1Qos,11514
alectryon/pygments_lexer.py,sha256=SLoBhwuIlSIEE-ffTvDFLNq-cMgj0yXnAnUkevTuYyM,36284
alectryon/pygments_style.py,sha256=P--naidX0g4O4Gr_URpwCeTkIHY1YfVOU1QMRPl0jN0,7646
alectryon/serapi.py,sha256=3YDlm-RdvbaL79bfahRl-h_Ue0CdVjwtv0HPg6tKl8M,15546
alectryon/sexp.py,sha256=k5CNqhs0A-f0uJeRw8BvAHL_KCDdsIiLQCf1L0ilFCs,3006
alectryon/sphinx.py,sha256=fwGoB__RrxnkKTvBLaKwokDNtI2vMeY3Gx83ZhguP00,4418
alectryon/tokens.py,sha256=Ft9CMBSTPJFAxrYLxHXVIuiQ1FtvW8p8csCBDGAodZg,13127
alectryon/transforms.py,sha256=HuE6qzOzQK9xQGB7Y9AilkxbEInjkuajAdtno4dyji4,36982
alectryon/vsrocq.py,sha256=tiEHx6tCPUJSwSMR84K6eEQFJGjbTuskAOiy8ano_Bc,10514
alectryon/assets/alectryon.css,sha256=YrgEhzpUFey1UNdebjOsyy8gkq2sBqHlQL6D4RyHPOU,21966
alectryon/assets/alectryon.js,sha256=qkAQKzup_id5ceFpUYX_oSpNMF3z5jWfboDVxRSloy8,6586
alectryon/assets/alectryon.sty,sha256=3Zp2FijiZ2vZuVPpsAGRMz6Ac8C694kkGL5F1cprxek,16050
alectryon/assets/docutils_basic.css,sha256=4oLdO8DWt1GUEB4QdeNQswGybYTmCrFBTg-h0XYOgTs,10646
alectryon-2.0.0.dist-info/licenses/LICENSE,sha256=o4C3T78V2WaVpZ5Ql5rZAfUP-UdWpgByQbWWketgt1k,1068
alectryon-2.0.0.dist-info/METADATA,sha256=y1GldJCwXEhmFQmtsPMfJCtW5GATsmJZeWoZrhH-PMk,45458
alectryon-2.0.0.dist-info/WHEEL,sha256=aeYiig01lYGDzBgS8HxWXOg3uV61G9ijOsup-k9o1sk,91
alectryon-2.0.0.dist-info/entry_points.txt,sha256=pUAT3hE42lGfqz3BmvNwUcHc1rEa5GmwL05LnXC3Ki0,120
alectryon-2.0.0.dist-info/top_level.txt,sha256=yXL9tH4NanglVMGLnwteadVhaLZlg8JkxIcmHM80U3E,10
alectryon-2.0.0.dist-info/RECORD,,
