alectryon/__init__.py,sha256=a6ydTuO9V6Z4aNfsoR8ihzBWxTK31HEjJW3N1t9iMTs,1244
alectryon/__main__.py,sha256=98JoCzNWJLnN6prm8Qsd8yRE4HFHoRqNwfY5bwDDg5U,1128
alectryon/cli.py,sha256=Omv4KBgM4NHZXeVcKniCQMsyAIPkqlHPd-PtqDDpIQg,35703
alectryon/coq.py,sha256=PrdqNSsIiztpe66ohIdF06YlJYUmPTHGOOblHtqHRy0,4092
alectryon/coqc_time.py,sha256=4hV4GjGuE0XIULWUoUWh0ACf1n46UzdCk_ObtRb1VQM,3097
alectryon/core.py,sha256=JQdKE5BV2MKmJwDKSBxh-H3i5tSE-DNFOg8490I0N78,19176
alectryon/docutils.py,sha256=vAHvypSx-UIWP3SXyh5Uu3mCRh5RqVlHk_vbdmznw8M,58485
alectryon/html.py,sha256=-jiAKF_ImpP9vlb4uruY8y84PKjGF3GN4KNLD5kWzIg,13134
alectryon/json.py,sha256=qZ5tthryXv2jadR7_sHnomxBfKDqYbTx2kDENy63sMo,15689
alectryon/latex.py,sha256=VeI6ZiEbvbgitdhNo2LmpVy9d7KY_06c5YyYDCVuopk,11683
alectryon/literate.py,sha256=AAxfCvXbAWFlzGE5LlR_r9HLhvMaf7H2ywWWydplGZE,21004
alectryon/markers.py,sha256=7qVDozcVQGJOJF-kwiDZPaZ2grPaG3ZkHFvLSbt_9eU,6402
alectryon/minimal.py,sha256=mcBCozn7ZK7N_Q82wiNVCTQ9ZcAUQ7fHDMzt3WP0Az0,4127
alectryon/myst.py,sha256=aQ8UWts2X_Z-E_DBJtKXhuRAht7DcOpyWQvf-VVJ9Ls,2170
alectryon/pygments.py,sha256=rB0lZlqFfHO_lYYNfkMwhziq5qMXWIAfC43RT_mhX5A,10860
alectryon/pygments_lexer.py,sha256=6x4RMon-oYS6uOP2ynJG561bKDYE_s2eLUPkQm-PMbA,34497
alectryon/pygments_style.py,sha256=hjVhRVnKkVIYneAuNILKgGKnbJ87mXMsFBDACz6rDSw,7658
alectryon/serapi.py,sha256=OWrF_USDhk9mC2G2XnmJGXfZAeeJGlRAVMpn-98lHyo,14114
alectryon/sexp.py,sha256=KtJnFdTwb2VUXu3ioy_2c08s7lhof72hIjuaNf2nmi0,2727
alectryon/sphinx.py,sha256=K5vOqeH-9gtW3Xq-vueuDr15YlErGkSXaCyK5kzsl9Q,3572
alectryon/transforms.py,sha256=rSBX5Vf_Ct---kVPTgcRRPiE3Fwy9GP23K8eAiUtZfo,26749
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=7-j0IUtuu4r_3igR58xwpcnqXnfwxyQpcVO0043Zsvw,10640
alectryon-1.4.0.dist-info/LICENSE,sha256=o4C3T78V2WaVpZ5Ql5rZAfUP-UdWpgByQbWWketgt1k,1068
alectryon-1.4.0.dist-info/METADATA,sha256=4JhAylN65ZCfYXD6I7pQKO3seMei1ioUeUE2knf4F7c,37373
alectryon-1.4.0.dist-info/WHEEL,sha256=ewwEueio1C2XeHTvT17n8dZUJgOvyCWCt0WVNLClP9o,92
alectryon-1.4.0.dist-info/entry_points.txt,sha256=3dW4ybt4a-OLhf3H3N6a-xZVm8h12qJDzFZwE78Do0o,121
alectryon-1.4.0.dist-info/top_level.txt,sha256=yXL9tH4NanglVMGLnwteadVhaLZlg8JkxIcmHM80U3E,10
alectryon-1.4.0.dist-info/RECORD,,
