Wheelodex » Projects » mkdocs-juvix-plugin

mkdocs-juvix-plugin

View on PyPI — Reverse Dependencies (0)

0.4.3 mkdocs_juvix_plugin-0.4.3-py3-none-any.whl
0.4.2 mkdocs_juvix_plugin-0.4.2-py3-none-any.whl

Wheel Details

Project: mkdocs-juvix-plugin
Version: 0.4.2
Filename: mkdocs_juvix_plugin-0.4.2-py3-none-any.whl
Download: [link]
Size: 5236315
MD5: 882ca700393c2d37d07a0823a1cfe82c
SHA256: 69b9aafb9cc11b1b7f0bbf4ddaf75807783b6e31a375569aac182d329264f42b
Uploaded: 2024-11-24 04:22:41 +0000

dist-info

METADATA · WHEEL · RECORD · entry_points.txt

METADATA

Metadata-Version: 2.1
Name: mkdocs-juvix-plugin
Version: 0.4.2
Summary: MkDocs documentation with support for Juvix Markdown files
Author: Jonathan Prieto-Cubides, and GitHub contributors
License: MIT
Classifier: License :: OSI Approved :: MIT License
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.10
Classifier: Programming Language :: Python :: 3.11
Classifier: Programming Language :: Python :: 3.12
Classifier: Programming Language :: Python :: 3.13
Requires-Python: >=3.10,<3.14
Requires-Dist: bs4 (<0.0.3,>=0.0.2)
Requires-Dist: click (<9.0.0,>=8.1.7)
Requires-Dist: fuzzywuzzy (<0.19.0,>=0.18.0)
Requires-Dist: graphviz (<0.21.0,>=0.20.3)
Requires-Dist: intervaltree (<4.0.0,>=3.1.0)
Requires-Dist: mkdocs (<2.0.0,>=1.6.1)
Requires-Dist: mkdocs-material (<10.0.0,>=9.5.45)
Requires-Dist: ncls (<0.0.69,>=0.0.68)
Requires-Dist: pymdown-extensions (<11.0.0,>=10.11.2)
Requires-Dist: python-dotenv (<2.0.0,>=1.0.1)
Requires-Dist: python-levenshtein (<0.27.0,>=0.26.0)
Requires-Dist: questionary (<3.0.0,>=2.0.1)
Requires-Dist: semver (<4.0.0,>=3.0.2)
Requires-Dist: toml (<0.11.0,>=0.10.2)
Requires-Dist: tqdm (<5.0.0,>=4.66.5)
Requires-Dist: trio (<0.28.0,>=0.27.0)
Description-Content-Type: text/markdown
[Description omitted; length: 719 characters]

WHEEL

Wheel-Version: 1.0
Generator: poetry-core 1.9.1
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
mkdocs_juvix/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
mkdocs_juvix/common/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
mkdocs_juvix/common/cache.py sha256=uol1goZwJ7RZppQH1AbhKnPI80kDoywdH_qqNbxTMJI 1514
mkdocs_juvix/common/models/__init__.py sha256=XdC4XhmYHhdfbf7m53r-RkUEVtJDJPGklnuvJyR7rAU 87
mkdocs_juvix/common/models/entry.py sha256=x-vcwLJBf97iFXcyZOBYHVRdkRE0mh5km1X9cogGkFA 1103
mkdocs_juvix/common/models/link.py sha256=0bbu6InVgP4OsiXyNC6wRWaMpvz4KyiDkmJhHjGgeu0 935
mkdocs_juvix/common/models/loc.py sha256=rxgtctECBOV8SDbPWrJWsfcPBYLFVBrG_zf-FTcf7Cc 786
mkdocs_juvix/common/models/wikilink.py sha256=YSw5oxYQZefVJYS0AEe6xN_vga7Ux4SaCNUwE7j3AmE 1783
mkdocs_juvix/common/preprocesors/links.py sha256=2Uw30AOHuEv2GQDRFRtUtE1-JDi5rSFAL19aBaSjHwg 8632
mkdocs_juvix/common/utils.py sha256=E-tlioCu9MC_S7NqMaIAyEh73EKM9bews90UY-0pMR4 2286
mkdocs_juvix/differ.py sha256=gSdK2HVFockGNPVtGWyZnou74hrechM54GMDPuUfgLQ 14850
mkdocs_juvix/env.py sha256=HyH03tRGFbcXaY16Z-KWn5gBdOdPrmG7oyMUzjefqaU 22218
mkdocs_juvix/fixtures/isabelle_at_bottom.md sha256=ZUX52yAC87kaA_OM0434vSihnctbptxQKrqIY3EjJ3Y 197
mkdocs_juvix/fixtures/juvix_codeblock_footer.template sha256=BehousYHkXvdUAKdIvfGXXe0rPCjUEHiTrdMXTUoFZ8 288
mkdocs_juvix/images.py sha256=_5WmWUi_HaR0byrIzlPsR08NxyPI3I9pIlzOSVE1orM 9176
mkdocs_juvix/juvix_version.py sha256=GOc7IPHLr3bCByWx7tD24IelmX0fQ5598_qwqTQ5yMg 128
mkdocs_juvix/links.py sha256=cN_eUXQ7VmkwRuQdh13WXEa0-yuwS7EGHOQw7gvS6IQ 10115
mkdocs_juvix/logger.py sha256=yaNYFXja3VswL-HobDgn9gLGU-DqPIv0Hic0L-4vVho 1789
mkdocs_juvix/main.py sha256=74tc24O8wjyzRkPF6m6g93bKqMYG2uzEe0LFBfFy5bQ 71468
mkdocs_juvix/snippets.py sha256=saIIZ-2KzWLdlNCwpwfW34-3mKZO2hDGkSg-6cvHfGU 25498
mkdocs_juvix/todos.py sha256=3ZK-6ZBnJXHSLkmkXcV0bzhc2b_hSi2K3c9_XPILxZ0 4322
mkdocs_juvix/utils.py sha256=wkQ2vtYKBELQXezmFh2WGXAuFHFzbni2JIp9yf0aF0o 5780
src/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
src/cli.py sha256=N48u1_w4OAujUn6lzBTaVuQ0ip1jNh0xJKN1ZlQh6GE 32465
src/fixtures/.gitignore sha256=QKORFeleG55H9F0Rxk-JxUkfg_8l3-Yl9Mhg6mPDFGo 51
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/.devcontainer/Dockerfile sha256=wXLSIxMLkbaAc1AVnP3YKUMeGJQYVGYsY_7Ic83bIlg 1625
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/.devcontainer/devcontainer.json sha256=xkUwUN5EFyxXQEyIKO4QPUM9tpvIptf2bomONmjNAXY 961
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/.git/HEAD sha256=AHBSTGn5vzD4NGsaqy67dw0BTRIwG4foclSAl4a9YFU 41
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/.git/config sha256=XO0k1QV40YFughDBW68I9X9Xsb1Gcf6aHo3BxnlKLLQ 303
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/.git/description sha256=hatsFj1DoX6pz3eIMIvKFGbxsKjRzJLibpv2PaQGKu4 73
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/.git/hooks/applypatch-msg.sample sha256=AiNJeguLAzqlijpSG4YphpOGz3qw4vEBlj0yiqYhk_c 478
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/.git/hooks/commit-msg.sample sha256=H3TV6SkpebVz69WXQdRsuT_zkazdCD00C5Q3B1PZJDc 896
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/.git/hooks/fsmonitor-watchman.sample sha256=4FSZZOk4l7UZvY4zPAN-Uf_w-IuhPghqMxWSv4AfodA 4726
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/.git/hooks/post-update.sample sha256=gXZa8trvMjBh3LxeYfwWSBy3SzusmtihdLGGUjWG9sU 189
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/.git/hooks/pre-applypatch.sample sha256=4VxbRp6j4KaVvqbyyCvPjmKCEHSTnd2Ft34AB_8WVHU 424
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/.git/hooks/pre-commit.sample sha256=-a99lesSMezy66l3D-36jUeXoSsC1yQOmNVoIBJRJEo 1643
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/.git/hooks/pre-merge-commit.sample sha256=04JacDN5QOu9ClwHKYThMkWSDN-ImL0iXI0npt_Jy1M 416
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/.git/hooks/pre-push.sample sha256=7M6cfgTT9d2ditqBdT3R1UmpY0smdwBCtY3aACF9CGo 1374
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/.git/hooks/pre-rebase.sample sha256=T-vOhneQBSM4B29OZsxH77FIedGAl9HWHIJhhZ6qp7M 4898
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/.git/hooks/pre-receive.sample sha256=pMPSuce7P9jRRBwxvU7nGlldZrRPz0ndsxAlIyAWmYk 544
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/.git/hooks/prepare-commit-msg.sample sha256=6d3KpBif3dJe2X_Ix4nsp7bKFjkLI5KuMnbwyOGqRhk 1492
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/.git/hooks/push-to-checkout.sample sha256=pT0HQXmLKHxt16-mSu5HPzBeZdP0lGO7nXQI7DsSv18 2783
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/.git/hooks/update.sample sha256=jV8vqD4QPPCLV-qmdSHfkZT0XL28s32lKtWGCXoU0QY 3650
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/.git/index sha256=Rrln1X5v8kWKXYcvpTm27o-I6aQQO5KIlR54w5ni8hE 8752
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/.git/info/exclude sha256=ZnH-g7egfIky7okWTR8nk7IxgFjri5jcXAbuClo7DsE 240
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/.git/logs/HEAD sha256=5p9Ni9a5cDP1cLBcP_vBC1pikLBvn8mGH9tdy8DyQXk 453
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/.git/logs/refs/heads/main sha256=RvXPQW_ACjxewOr0Bsf4ct7BPDLUPND1ZM7Q_NKTwgo 216
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/.git/logs/refs/remotes/origin/HEAD sha256=RvXPQW_ACjxewOr0Bsf4ct7BPDLUPND1ZM7Q_NKTwgo 216
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/.git/objects/pack/pack-6bf2c9eb8ebe17e94a222e1b345603630809d78f.idx sha256=Hl9XOgZjdrhPrnmxHt1YWcoH7Q9AB7vIi3fDfAQ4dvs 324528
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/.git/objects/pack/pack-6bf2c9eb8ebe17e94a222e1b345603630809d78f.pack sha256=pfTXIgsf8FhBXZM-MCcJfgC8-Rz145MMVjG-MDRDTf0 3826615
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/.git/packed-refs sha256=FrmjrUOfHCD90xp_ozKVmNdFKKEfe6c3R_fRzxNsjro 4995
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/.git/refs/heads/main sha256=GBt2nmB6O42REcfnvsp3nG0NcfNc0SmOW62dEWSB7iQ 41
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/.git/refs/remotes/origin/HEAD sha256=K7aiSqD8bEhBAPXVGim7rYQc0sdV9dk_qiBOXbtOsrQ 30
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/.github/workflows/ci.yml sha256=WPY0AMxWHAYtGF71sA17SnU9QGxym0Op1SST3No7YUQ 1674
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/.gitignore sha256=tpah7MBwPR2gGPLWahARm6ovrc1vOYaJrebMgIlb0Qc 39
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/.juvix-build/0.6.8/Users/jonaprieto/.config/juvix/0.6.8/package/PackageDescription/V2.jvo sha256=mluDfc0fz6yFLwp1ipEee3XDh6eznmMm01jRo00fNvA 672535
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/.juvix-build/0.6.8/Users/jonaprieto/.config/juvix/0.6.8/package-base/Juvix/Builtin/V1/Bool.jvo sha256=tqO6GSIEaWgVOdzyKNSy88XxY-TlV1aom1X2h6Wgo-E 38677
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/.juvix-build/0.6.8/Users/jonaprieto/.config/juvix/0.6.8/package-base/Juvix/Builtin/V1/Fixity.jvo sha256=V1z7OsQ5hKfe9edgwv_5bv0GqXlRC36tSl-Gll-SN3c 53144
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/.juvix-build/0.6.8/Users/jonaprieto/.config/juvix/0.6.8/package-base/Juvix/Builtin/V1/List.jvo sha256=cV-g6QPujwStQSUmOhz7sYOkZzrLmLLpKyyBG_eK3bQ 63128
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/.juvix-build/0.6.8/Users/jonaprieto/.config/juvix/0.6.8/package-base/Juvix/Builtin/V1/Maybe.jvo sha256=n_PkdhYaYk7uukT7XlGBxKi4XIJbFAKKaUzfelQwDK4 56738
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/.juvix-build/0.6.8/Users/jonaprieto/.config/juvix/0.6.8/package-base/Juvix/Builtin/V1/Nat/Base.jvo sha256=ymmGzWoZxdBFhJWkMK-uinQI--rd_eU-2lWvh7838LQ 274686
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/.juvix-build/0.6.8/Users/jonaprieto/.config/juvix/0.6.8/package-base/Juvix/Builtin/V1/Nat.jvo sha256=LKLGYRImFM9yuAuKXnKEpXBFZVqw90GrApFQhI9C8Ac 126398
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/.juvix-build/0.6.8/Users/jonaprieto/.config/juvix/0.6.8/package-base/Juvix/Builtin/V1/String.jvo sha256=ExdDpsujhiuUOi64SJvDUWyGMiP8ter_Kn4y_T60tHg 30242
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/.juvix-build/0.6.8/Users/jonaprieto/.config/juvix/0.6.8/package-base/Juvix/Builtin/V1/Trait/FromNatural.jvo sha256=H_tuN52mf_SfDSc108TImsArJtiTW7EaExIHWBr-HWY 78715
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/.juvix-build/0.6.8/Users/jonaprieto/.config/juvix/0.6.8/package-base/Juvix/Builtin/V1/Trait/Natural.jvo sha256=AlybeiGIQ_bz6P-kU53Cliu3ra6Ta544wKXRDB5nOq0 178263
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/.juvix-build/0.6.8/Users/jonaprieto/.config/juvix/0.6.8/package-base/Juvix/Builtin/V1.jvo sha256=HRWoaoUqx6uY6A-Y7-CnQmBNwbMaKSAK10Ns78XeVzs 98754
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Makefile sha256=IF-L7crhGi84d_OSp3aKfSfEXo52P1hEx-841pLqvlQ 1368
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Package.juvix sha256=IPlAqUqxOKHEeK5QhdOTdC5jb9QwqCV7XPh0k_1C3KU 176
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Cairo/Ec.juvix sha256=cwumkaaa6evHC5dqWEEF-CLRBEgjpZ94lp3m9hXmx-8 3931
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Cairo/Pedersen.juvix sha256=4EOyZL1mdTqtx2tkkEdfeaOJs9-yBV0uvb8W1Qu3DL4 869
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Cairo/Poseidon.juvix sha256=ivJCVUgc-mRkA6w6R24GEjfVTgFbf4BBm46eqi9BiFI 1554
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Data/BinaryTree.juvix sha256=S4eeF2c8AYZr32b1vGapd37zBNSCkkA-_fdCQNpkXQs 635
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Data/Bool/Base.juvix sha256=iUcAZJD8fnaHRCKeTHtRfj_6VKA4QWX5yK0iPL0CikI 986
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Data/Bool.juvix sha256=5YVHJd5XbkwDod7cTOCXAABYPC1J6s4VnUmsS39K3oU 861
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Data/Byte/Base.juvix sha256=JVZLLIpl0tf3LagFIv1aoVAW_8zH-cku1_m2IZSruFs 521
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Data/Byte.juvix sha256=0GGAgYSnqzM4gCmbPsA37vWoZ-CgHs3TvNcgOtQQXNI 664
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Data/Field/Base.juvix sha256=fsqXKHOs_44jzd3ejgpCEDoevM3DC9qYuS3NpAwLB8g 844
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Data/Field.juvix sha256=CxfmXTmRlwOcnTAj799q7G0vF1y8jRRz3AclWeloOn4 1247
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Data/Fixity.juvix sha256=bjRM5KvO3KKrceJ88LnSucVpJwFU4xShIqPhqqoAHzY 72
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Data/Int/Base.juvix sha256=rhloj8vl8cnr1sZeD-CO3lNi7l0KLu5kNZTdqtI5JeQ 2459
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Data/Int/Ord.juvix sha256=1FDE67opcrOgQ2rdMpLCBsI32O9vTMWd7UuhFARn6As 1497
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Data/Int.juvix sha256=hJOorAItVUd0uN3SFEpqAYM05w8CvPVgiOOpw5p651A 1428
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Data/List/Base.juvix sha256=wW4ukIVRwcm0iFnquRMNcBolLAyUGVSCbx9hC497yN4 8569
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Data/List.juvix sha256=GKb8L1DDRPk3qAKyx8MG9mzirjz9VnKCOjqXA5_wtgc 2514
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Data/Map.juvix sha256=vtAk6ecPYzbtX7dSU24wUznAEPYPm9y1EtfXHGtmodU 10191
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Data/Maybe/Base.juvix sha256=9erc8H6wBlNVuTZkNem1EPogKx1sgTnqOM8m0__8HwQ 767
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Data/Maybe.juvix sha256=63CgdhmvC0POVIILmPmTZoYTgkQhjxpj8spw1J-nvoE 1971
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Data/Nat/Base.juvix sha256=Sp5_fE56049hbVLdHgjno7wuSew9N_AZUAiLvEHih-M 76
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Data/Nat/Ord.juvix sha256=6e1cFeLDi4M_6bOyI9Ouq0oEZ0ZcdOgFT51YmBxXjWM 1494
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Data/Nat.juvix sha256=LJrPIdUWlEZq84xVsZSXwp166OmofoLgt1PJ5qelzDk 1121
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Data/Pair/Base.juvix sha256=WZLe474FsrndNpkVOo_4aPvZZpiLgFb1SBz0Sxw8EaI 1294
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Data/Pair.juvix sha256=c93RBYniuyWD8HApfc-nuumAbBRmLhTNeteiWihaer0 1158
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Data/Queue/Base.juvix sha256=EsHeyjdKSA0iBIOGjpxVOUCqF-6SSRaU0ManegqypUE 3230
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Data/Queue.juvix sha256=nm49i2Ch-kPE0q6bJtCy2mfQ4c5kp2b3NEtGu6d0AXc 70
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Data/Range.juvix sha256=jpm-jWvJKaCKLpiucHlRKJ8spZZ28Gfc10O0ScZHg44 2733
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Data/Result/Base.juvix sha256=HupBkmU1RnF_D_zkHSJQ00TRShn71YOLuC67JDqjUfY 2345
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Data/Result.juvix sha256=Hl13Wmb1eGypN9hi--LQLOEjpAvyKapa3aGfDZ2LiwM 2225
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Data/Set/AVL.juvix sha256=oVl2ChsD-90LOAreAVgkUBgu1A52f3uZYGBV15B3WmA 15714
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Data/Set.juvix sha256=xpv6L7V9zxSkUZ2x4cUt3j8f4_XdNcpz9gx65O0IsVY 292
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Data/String/Base.juvix sha256=UHTgnDFDwvkO2WKkyeV3yxaZ4-CBg4eSFDBPIUp5TDE 408
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Data/String/Ord.juvix sha256=-eFAHP4qigpqhcAnuOhfsRnRDMfoDGDL6FM1e29gGmw 247
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Data/String.juvix sha256=iKuhRw5HuFePvaqF95vFc0j03-viT4kVIaWlonoi_o0 346
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Data/Tree.juvix sha256=oJ8dWBsPTp4FRZ_VXpLn7vaL47O1-mf_lmqgeSbjcCI 1037
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Data/UnbalancedSet.juvix sha256=TXPeXT16quxPI7lt_05Q8QXg_kNiaJwOof13mRMDEfo 1582
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Data/Unit/Base.juvix sha256=0kwmHgrhwyUj3bpTGv3Ypoa-Y-160UrPj9B-vKua-QA 271
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Data/Unit.juvix sha256=kHeXacMCIWV7ikrc1iLwuWUolHKj1xzImDqU8x3gZPc 989
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Debug/Fail.juvix sha256=jEhKlFvCWcpfflrBXt0j8wuj0lcS1-WZaxdfxrUgjgw 178
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Debug/Trace.juvix sha256=vJB_AfUPixbBpQ8pFgQ4a7f6jKn5mwW3OJ5xjcgqzjo 138
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Debug.juvix sha256=OW7kI4YKRES1daGiTSThL8WvClEyGup6K_VBhM23oGA 99
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Extra/Gcd.juvix sha256=l1woRlM8_JB33RmbSnbWsrDRX7HsU_GSQRej64rC4yM 608
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Function.juvix sha256=xheTxfN9S7e55kfWAr_6cKSpLLfvseoQa6OrKOfdHoE 1582
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Prelude.juvix sha256=6X9eMtbfnBaMXxH0wpgx7S3PU43eVTNtbeBGTtkUAkA 676
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/System/IO/Base.juvix sha256=KiPd5hVBhYeK04xby4LcgB5kWtqc4RKAHB4qSWx8lec 166
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/System/IO/Bool.juvix sha256=VAxJd9UpO41sO5QpogF4uMuHy8XOhs0QDd1Sej7toAA 249
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/System/IO/Int.juvix sha256=24q2r1niapW2T1kl9sc69k9x2SNMQ07pnnuyvCJNmHo 253
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/System/IO/Nat.juvix sha256=aGIC8ESLflAYDrJyRXiWuikPPAvQlGaxAOQ43rva_Gw 241
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/System/IO/String.juvix sha256=ZpdgNCyQS6xA4gb15SDVcv0y1Pxs-OWY-YbOw-kxjP8 286
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/System/IO.juvix sha256=TO2x6edWYvjE7Ef1Muh0BZJdl41PRzzA_gmirGCKyko 402
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Trait/Applicative.juvix sha256=DerAzhsPY6zfo9FFwSZ2F5j0fY29MaxiYL_XR-avzEE 1543
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Trait/DivMod.juvix sha256=wPPk5SRi3NM19_GO-iKT0nQW1SwWeOp6BMC59c4i9Ec 273
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Trait/Eq.juvix sha256=4iFCma3TWgOkiNbUXOvLohF7vozZAc7QF7Mfsz0PAhw 517
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Trait/Foldable/Monomorphic.juvix sha256=4f0A4M3NUnIhJ0KfLXaGn32XmaLN_5C4o2kKuVWtbfQ 1562
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Trait/Foldable/Polymorphic.juvix sha256=g1nP_R5q9qTP0t3JK3Om8pp-uFmhLrhSB3-wowY8Hx8 1180
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Trait/Foldable.juvix sha256=APSMCiutTIX3X3uuzaO1EKcnZF9J1WFAOzG_rgkbkx8 149
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Trait/FromNatural.juvix sha256=11J-03WAjarIpNHEgEGKA-ZoxuzAXcenQVvhsnAeiXg 89
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Trait/Functor/Monomorphic.juvix sha256=ZL2MqlhRZRGl_Nn6P8CpRtXGWsWCmNJX7IIdqn_4d-s 937
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Trait/Functor/Polymorphic.juvix sha256=9srv9-kIG3uVoxzbZAHHJz9n3sQa4ZOBv4xP8eYObWY 734
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Trait/Functor.juvix sha256=onaUuWQrjkIVr8Xcogu8oYQubPHUheksqonv6FVn_ec 235
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Trait/Integral.juvix sha256=vLyKKnpkPmqGTY9LwCMF-EyVg3X6YlG_p4G6_bKtHMg 421
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Trait/Monad.juvix sha256=Lq7hoaRbEwJAuUy_NZfDJO5CzmZ2ERaz0D5Gb75cuco 542
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Trait/Natural.juvix sha256=TheU7wLk4wA2dLaxcwjxA9EXnu3o5NWGWPxgLoDifzk 81
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Trait/Numeric.juvix sha256=l-DePoz0fuWubwN8nAssQHG4eFlSZVkcYZJNjI4iaNM 260
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Trait/Ord/Eq.juvix sha256=6QyjoLD1mdtWOLQHC9fSkVG7-cXaZdR10_0q9sMWF74 596
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Trait/Ord.juvix sha256=_pzu6okHjeMyfyxuehU-JQYHq6ZWhXyRaSUXhKvCqdA 2198
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Trait/Partial.juvix sha256=wbzFKmdqSzjE40eQ7bkIEdFaUH6VNVNuiyyxQuainJ8 271
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Trait/Show.juvix sha256=xiyMoiXu-oZiT5pcX0dBHU0d56R-zN4r73LHYujIyVo 115
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/Stdlib/Trait.juvix sha256=eyarjyhU0iEBKyl8ho36GsgaixyHZVOtI9mFcQdf61c 643
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/index.juvix sha256=p5-RL0AIpQnPLs-OeGoTvsiOvVho8H4QL7Rr-PTNE20 309
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/readme.md sha256=I_6UeslI6ttgpYREMs0jQ5gLKvmjszO-qdBG7-w5SY0 183
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/test/.gitignore sha256=bMrq_24sLMZIwKGeFe5yj09dTKFmL8q-8mNMd1pGeTM 23
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/test/Makefile sha256=H140625ivtndjFNfLBiUOPbKbzVIH7XdtMSGaPfeaK8 386
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/test/Package.juvix sha256=YZNdpmgYWmhBfC-64Gvqp6pSfHOqf2qijIdgfHGvvzg 379
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/test/Test/AVL.juvix sha256=s0nbt-5LHFStK-559bv4usyy_qTK0zYbiTe6FZayBOw 4799
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/test/Test/Arb.juvix sha256=P-NwkmhHS7yzQbX_msyczIaQ4YpyibMRIlm43zalXKg 1248
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/test/Test/Map.juvix sha256=69rMmL4S7SjAW_IgEUR5xLAeog2bjU7YbEZ2YeeewR0 6069
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/test/Test/Queue.juvix sha256=K5XHzPkrPFMss2gQR5ha3WqI2FgadxwIbYmWJCX3PmQ 1499
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/test/Test/UnbalancedSet.juvix sha256=LHtNf2Wp_TA77h-NPmZyHCm0BEL0q5rPXeH6GVY-r8c 1276
src/fixtures/.juvix-build/0.6.8/deps/3efa00de03f7065ac7000e54d384ba7907042f73351ad857d538fbe4fe907529/test/Test.juvix sha256=kBebNW08w6Be1qzDcHj5t--kJd8Ll2NK7WeWGz3P6ew 11694
src/fixtures/.pre-commit-config.yaml sha256=wLwJfbrZyTWB5PdwQJ7oNYZMV0f3LQyNn9OjZfJjrCU 563
src/fixtures/Package.juvix sha256=EgowidKUTrtVy4UCGL4a4KrgX7cCBgOcgibQm-l3FHY 226
src/fixtures/README.md sha256=PNof0VQifeD0Vvn0cZUxTs7n8T_Z6Zak2QCJtmSpn4c 444
src/fixtures/anoma_theme.yml sha256=rlHlDcTceB4NtcRqUDlX2B_u_2-y3v0Ewzm5xODoanQ 743
src/fixtures/assets/css/frappe.css sha256=sv8raiTaYre0k_-_2ymvo_qvp7Gm31tCJ_cn4oHiP8E 761
src/fixtures/assets/css/juvix-catppuchin.css sha256=h1kHZtYNclv7j4pXtY8_hnRKnDrZswN3xVGjoGfY7xI 1130
src/fixtures/assets/css/juvix-highlighting.css sha256=1WlhqfwEsCht1J2x7r2hIFR6Vt_YBrVQdCZwfgdfPI4 955
src/fixtures/assets/css/juvix-material-style.css sha256=t1qI83RWCth9BEZga-2UmdgHIJwRWYI91OOtPuyqJOw 4177
src/fixtures/assets/css/juvix-nord.css sha256=ZFU1EJQBsx1u_F9yCTfFStOQmgQ2bLRoJjhUiWYdPqs 983
src/fixtures/assets/css/juvix-source.css sha256=H__J2xukmtIuv4I5jAOweLRlnzAtmv9vOZ6SWJVLpno 1027
src/fixtures/assets/css/latte.css sha256=5eC3Ra_Yd3hi5Z_Tno1TfMTe2za8pySK9lFKOfy9bMk 745
src/fixtures/assets/css/linuwial.css sha256=3aiTia_CuX4t9n3MpNnZbSKwMy6doHw7SctWYgKt_qQ 13249
src/fixtures/assets/css/macchiato.css sha256=vFuv88j0JL-rC78PoWlRaRnBWIo_m_sk__MrmFMlJ7w 745
src/fixtures/assets/css/mocha.css sha256=mztRcxrQxiEQaVwxmZ8BijwUu6OEGlBx4_P21SmfzAM 745
src/fixtures/assets/css/nord.css sha256=LaF06oVwRnZt6sNzZY1Cj-mxCY8fxDL4gDqClq3itxc 370
src/fixtures/assets/css/source-ayu-light.css sha256=SBOIW-6ku8CyT_Z0ovK9bzrl1ahoIUn-RNXIFSBXm7c 666
src/fixtures/assets/css/source-macchiato.css sha256=vIKgGoKa99sJReZOaDXV8Di6Ha7wrUHxiNICx8z6-w4 778
src/fixtures/assets/css/source-nord.css sha256=a-1kKjrj6gQXPSsAbb5CAqL13MO-Ifa-D9cN_LQvy7E 654
src/fixtures/assets/images/tara-smiling.png sha256=uV0GUEqdERZCjgDOsMAlyJodN-CPFnpbp1UqCGj0swU 72751
src/fixtures/assets/images/tara-smiling.svg sha256=ar1JjNpLk1tmith5ABhjeeCmpu8KMhjo4m9KFJX8XzI 13876
src/fixtures/assets/js/highlight.js sha256=KEpLejvPM7N2hztyrdMEnmrcBfAMEXuC_Z5A85aASQY 630
src/fixtures/assets/js/mathjax.js sha256=l0ggMM5bf92iivVOLudx6kVJGOraW6KjvYR7rGVKmLU 7625
src/fixtures/assets/js/tex-chtml.js sha256=-fSCgRxk4YqVY4IZCq4vemP1fwM-9DgMshf_NFasi-c 2347938
src/fixtures/assets/js/tex-svg.js sha256=pDVP-U_YaK6gzG6qp5pX_aBYhkb8Ru43AKNJ7goRy-Y 2275113
src/fixtures/assets/js/toggle.js sha256=7HaQY6w09qaxi26UmlUcBaISze3uH132cptqjUfRc9U 675
src/fixtures/assets/logo.svg sha256=xY_i7NmQAfwavRg5PL-DIdvg2Z8aiPc39fcfdiVL1Lo 1197
src/fixtures/ci.yml sha256=K4b3vBOcMmxhY7WQfdlNNsC-hI5coaOMUjU19FAXSAQ 2678
src/fixtures/diagrams.juvix.md sha256=ZSI6W4OFY1k2A5aUvRbpHZ_uVQz8KH-k0AJOPkw-5zs 1363
src/fixtures/everything.juvix.md sha256=ddNVMyEjMJ9-hW0UGVv96JrWKIKqOugPIKNQj5-SHyA 264
src/fixtures/index.md sha256=h-T3SlAnQUWHr7TfBQWgLH85AsTv8Fe140TCt1taS0E 1245
src/fixtures/isabelle.juvix.md sha256=DnwOBIkaP4uZSzkF3KH_n5fEWmF7yKQkJcOd30Zp2ZE 698
src/fixtures/juvix.lock.yaml sha256=ijA9mipbw6tTuAOf3E0UvxpI7XKkUsNfSoc_O5OSJiU 341
src/fixtures/markdown_extensions.yml sha256=y_z4XtvxvmQ_Yteld9nRoy7JaTMtBkv0pyDPAVPgbiQ 929
src/fixtures/material_features.yml sha256=O3n8ZJtPlk_tuIBlFKRVN-NK2iAlga7n_kD6M9ky0J8 505
src/fixtures/mkdocs.yml sha256=hSFCni7OV6rgjtyCQK4WpLBM3rXgTO39gQ9PgOQd8-0 1805
src/fixtures/overrides/main.html sha256=LGkLvSkDfL3Q2HbTNVtlq6kS94MoYv45xF0KceimmGA 677
src/fixtures/overrides/partials/_header.html sha256=QP-pdE1SMxOgIoAd7ns2wJy0InopRbDFosnyawLLf5A 2727
src/fixtures/overrides/partials/copyright.html sha256=TgI6arL83-qIrFxNmK1kzv4SKja5flDeBa5mgBvmsUw 301
src/fixtures/overrides/partials/tabs.html sha256=NKKK_wSXZeC__TuYtick4gwQJkXE4eef0lW3xy_2XH0 1572
src/fixtures/ref.bib sha256=pHNEpyv-AcRZrG_9RaaCQmTd5aKAeL4hHow7fkEXjRM 111
src/fixtures/test.juvix.md sha256=rpBLiYVHzmEJK9eGHPgrxKHCaRz_ykpa8ANKvLpgiGE 265
src/fixtures/tutorial/bibliography.md sha256=ThbJRiAOYR4S0EhQF3f3WEQDCpdHag_TYvUz7US6uRs 339
src/fixtures/tutorial/diagrams_using_kroki.md sha256=eCvcYJqj_icupf_j2GFdcZ_YAGU1M_lg30blcuP-Sh0 332
src/fixtures/tutorial/hello.juvix.md sha256=6OAb2upe3TnHxNvzWmRq1eAl0EMrbxUyWfGbIqNddZc 124
src/fixtures/tutorial/installation.md sha256=Px7dohGmGXELEO5KMEklikYwlWNK0O4Lls3cJPDOJCM 1249
src/fixtures/tutorial/isabelle.md sha256=ruKtvt5P21U7K4BKZzvk_nB9ELpYZ0c2RmJ0YDf6ZxU 592
src/fixtures/tutorial/juvix_markdown.md sha256=2XZDKA_HFss0S5IXr4vg9O36vCPCYTaD2H_g_HfKnuo 1030
src/fixtures/tutorial/snippets.md sha256=Bi3NrAW_Xvr0PnXleGJ44HFSs_VRn9i3AQT0HXj9U1o 1923
src/fixtures/tutorial/todos.md sha256=wpeK8aWI-jpbhebw5qeLwWlrirn5YoGn5Tn5fgCk_X0 332
src/fixtures/tutorial/wikilinks.md sha256=ikNCxYZLBWaYkYo5pNmk8Oxu_VL27_R-0jS8GvKF714 2486
mkdocs_juvix_plugin-0.4.2.dist-info/METADATA sha256=1--6bjAi-2G1eTXznEkEh3AzO68DV517gsoAQGDVz84 1981
mkdocs_juvix_plugin-0.4.2.dist-info/WHEEL sha256=Nq82e9rUAnEjt98J6MlVmMCZb-t9cYE2Ir1kpBmnWfs 88
mkdocs_juvix_plugin-0.4.2.dist-info/entry_points.txt sha256=FbcyWDJ7M9pLqPT8uvd_rqOr18lzh79OWufNeoaWcTk 135
mkdocs_juvix_plugin-0.4.2.dist-info/RECORD — —

entry_points.txt

[console_scripts]
juvix-mkdocs = src.cli:cli
[mkdocs.plugins]
juvix = mkdocs_juvix.main:JuvixPlugin
todos = mkdocs_juvix.todos:TodosPlugin