alectryon/__init__.py,sha256=EKhPf1R-_mjhjTDdzNBcynnQgrBK4ZmKdsRvKigkGac,1244
alectryon/__main__.py,sha256=98JoCzNWJLnN6prm8Qsd8yRE4HFHoRqNwfY5bwDDg5U,1128
alectryon/cli.py,sha256=bNeH00RaESyaoZXt5kUnKyddVqLtx439eKCa5KLrKoc,36726
alectryon/coq.py,sha256=PrdqNSsIiztpe66ohIdF06YlJYUmPTHGOOblHtqHRy0,4092
alectryon/coqc_time.py,sha256=4hV4GjGuE0XIULWUoUWh0ACf1n46UzdCk_ObtRb1VQM,3097
alectryon/core.py,sha256=WwZEobacf7Z5FzRIFWF8iv2VLt2SQ8IW05EX_zAwMJA,20975
alectryon/docutils.py,sha256=-mTGm9laOsvFGQQiOg2aLKlOBGFAIl5k-1YwSb2gVXM,59129
alectryon/html.py,sha256=1sdttDZlsOYE0AouydY9bjLGTW8f7yPylvYLV3LARyc,13110
alectryon/json.py,sha256=qZ5tthryXv2jadR7_sHnomxBfKDqYbTx2kDENy63sMo,15689
alectryon/latex.py,sha256=_ho5E7aJ8n98umaTHTm1PQei_mEEWoJchGmN5xKTvAs,11659
alectryon/lean3.py,sha256=peHGd23D2F4bJTxeZw0QPx2nGB-1P8Q7H1ihWyDUhkM,13751
alectryon/lean4.py,sha256=gPMvzwC-ZantV2HLvY8am2WKuqbOW1lwTE1pxV1P2nU,3764
alectryon/literate.py,sha256=IwDnOrcXvF8WeBpEh2xA9szhgWoVFwHP9yBB2zK6yog,29855
alectryon/markers.py,sha256=7qVDozcVQGJOJF-kwiDZPaZ2grPaG3ZkHFvLSbt_9eU,6402
alectryon/minimal.py,sha256=ng2ujJ4fBo5_TB-rhushPGz8DHIiUr43bQtdsV5yliI,4145
alectryon/myst.py,sha256=aQ8UWts2X_Z-E_DBJtKXhuRAht7DcOpyWQvf-VVJ9Ls,2170
alectryon/pygments.py,sha256=ry6xTQwoBdGABvNrOXv98OTs6PLQu1c29u-8gRrWqYc,11371
alectryon/pygments_lexer.py,sha256=i4Q29k3z6qwVrkJc41mUedJ9uUWEDEtam2fr_BWmY4o,34568
alectryon/pygments_style.py,sha256=Nlc6tl9h8DDMZpA4ae0ceOe4o7thwpGRLRRxdjRNzjU,7646
alectryon/serapi.py,sha256=JN2h1TsbTMFDfdscprWqV-XlObkVQaqcXajXi43C6CM,14152
alectryon/sexp.py,sha256=KtJnFdTwb2VUXu3ioy_2c08s7lhof72hIjuaNf2nmi0,2727
alectryon/sphinx.py,sha256=K5vOqeH-9gtW3Xq-vueuDr15YlErGkSXaCyK5kzsl9Q,3572
alectryon/transforms.py,sha256=J4C6_6UbSoO-LXqPHm6gEAA22taXmv98YyM3j_t5JFo,32752
alectryon/assets/alectryon.css,sha256=LLWDjV22yun7TaX3Li5CzOwz92i4qbP8MD2d7rYo5ls,21926
alectryon/assets/alectryon.js,sha256=qkAQKzup_id5ceFpUYX_oSpNMF3z5jWfboDVxRSloy8,6586
alectryon/assets/alectryon.sty,sha256=Yi4mubVtibgJHWjvVxgTDH1dKtGgFmWFTKE_bmYfmYs,11740
alectryon/assets/docutils_basic.css,sha256=4oLdO8DWt1GUEB4QdeNQswGybYTmCrFBTg-h0XYOgTs,10646
alectryon-1.5.0.dist-info/licenses/LICENSE,sha256=o4C3T78V2WaVpZ5Ql5rZAfUP-UdWpgByQbWWketgt1k,1068
alectryon-1.5.0.dist-info/METADATA,sha256=yEJCOQTmmFn29x-h7VX9OKImq4nyIefBHnKdtEnTx7k,42131
alectryon-1.5.0.dist-info/WHEEL,sha256=aeYiig01lYGDzBgS8HxWXOg3uV61G9ijOsup-k9o1sk,91
alectryon-1.5.0.dist-info/entry_points.txt,sha256=pUAT3hE42lGfqz3BmvNwUcHc1rEa5GmwL05LnXC3Ki0,120
alectryon-1.5.0.dist-info/top_level.txt,sha256=yXL9tH4NanglVMGLnwteadVhaLZlg8JkxIcmHM80U3E,10
alectryon-1.5.0.dist-info/RECORD,,
