leanup/__init__.py,sha256=9MP3EJ1ZZd0NmklwhnNw4tf-_X9aXe3wg5hY_QwHSxw,594
leanup/const.py,sha256=xFDg8ATyjCDu0MErWY24JZSlMFe_1tmhvZTSOXvb9bc,553
leanup/cli/__init__.py,sha256=2UcauShTYthCNMP6aV_3oq7cDi1hrngjWzt21GY6w6g,916
leanup/cli/cache_ops.py,sha256=CqtTVkZVlbcgUXNcsmaKURCDsnyAQR2Hqqw2pZpJU_Q,5891
leanup/cli/interaction.py,sha256=7cLvoH4QTTeUOj8XVmYHG1rwTB8oM-kJ_FzIs8dPbfY,3290
leanup/cli/repo.py,sha256=TH91_2yYmZrYaX7UEUcQZGRBQvptOKKHbqfRItqiRsQ,5007
leanup/cli/setup.py,sha256=hL22AFHA6geAmA3x3bKIl9ga6JKn3JCXwcBh8hxPJAg,4865
leanup/cli/toolchains.py,sha256=Rt1Rk7D8PMOnXcawbKz0Tik5olYUPA2qC7IVeYZX08c,5110
leanup/repo/__init__.py,sha256=raI-h9y5N6ugX5zULuiJmdIu1it4THKqwNcO_B5ggyc,440
leanup/repo/cache_server.py,sha256=ndzP60EqxrDRMyRuX1X_GoPRkcjZgGyrTXYJwZ8U5Lo,3031
leanup/repo/elan.py,sha256=DELEMXK11Or0xd6LwJJoxUi-wyJ17_W1M6F8GaIztBY,8650
leanup/repo/manager.py,sha256=4NHiHEw0TZAGNZROZDvQvGdKl6nZEFUWuBBjG54mtio,23460
leanup/repo/mathlib_cache.py,sha256=rT68PFUJG-xfOLMT2hPSeobXlHWjmHArOBnCUlmu8Xk,10101
leanup/repo/project_setup.py,sha256=uRNpCZ8EPkPxI2fXjs5oCaKDpCdMQOTgAtKd2SrgHho,16694
leanup/repo/toolchain_cache.py,sha256=eNOexL1GfgXH_LdWKCZLFoBw64NuLaOQY_ZZCuVujrk,9323
leanup/templates/mathlib/Basic.lean.tmpl,sha256=qI_vTT76Y8n59clI3Vuh3j6gnYKM6DiO6D-j0DnnNKQ,21
leanup/templates/mathlib/README.md.tmpl,sha256=9swq-OtuahjMklqUiFfw1b-kC9tUhnzHUg1WhyojGCM,17
leanup/templates/mathlib/lakefile.lean.tmpl,sha256=VQrAQ5WLqz0XPh-5c280SRX0-u_bs9e-tUtGpus7VDY,323
leanup/templates/mathlib/root.lean.tmpl,sha256=gqTW5-KLfTgWRwuU5j3rmPz7X470XvzEirtgjuYR_Wk,163
leanup/utils/__init__.py,sha256=uklSQuDenjWxxKpwCXlXK3nT1yceCJ2_fxYC1tHiccI,175
leanup/utils/basic.py,sha256=Kj4RXk4DYT-on5M_agP08ihtk-CAuYFk2nJ9u6xeJ3c,2866
leanup/utils/config.py,sha256=nd8LEEbQs99XfmN3UQUVBEyw-ZDOUYmznBWbj-0RZG0,2564
leanup/utils/custom_logger.py,sha256=HRWNPur3z_ikzw_qjnVAPqHuECOR0WtOwxMNbKnp_-A,3781
leanup-0.2.3.dist-info/licenses/LICENSE,sha256=UFI2VPKQpKo28H0qsbeOOHYdBAkNiOry37Vv-KtBmX0,1076
tests/__init__.py,sha256=oXZGM_7X2sKba9d5oJqE3sxEfUnnCcz2Xm-zGQo3EkI,36
tests/conftest.py,sha256=aRFXbYqCZPUC1PsVZWtmBVmQIvz4lBFblPjk_xwlgx8,1240
tests/test_cli.py,sha256=lJm3njPrHj89TkZ4Na6YH8iu9lRwtwDNWhqEOD3Qsxc,835
tests/test_config.py,sha256=FirIGXw91ldeWzqVgATH3RMc0N-NflUVsEwCZdu4l84,176
tests/test_elan_manager.py,sha256=LSmCqijFqj4fXN0Zhc29PC4lbB1klgsOrAJOdcMQJH8,7966
tests/test_lean_repo.py,sha256=dscm7GVyIiIMMmgiKe_bc45xr_I4Rb6fN1Vp3nQvlu8,8438
tests/test_mathlib_cache_cli.py,sha256=Q9yYUBwLkBaU8uGW0dZt0zd-FiC-TI4e59ImR-rnLms,18011
tests/test_repo_cli.py,sha256=3e9PCw6OdfsI42h_QAO9icM-qAPiXfiy5TnEeGaOQTg,2486
tests/test_setup.py,sha256=ot9CEyawb356G5FG0WoqzT-XwjXBLasj8QJPox2q49E,20170
tests/test_toolchains_cli.py,sha256=BQG-qshGXH1alcZNkSPBri3BCW2iiyR0XX8O1GEBYtw,3976
tests/test_utils.py,sha256=4DfVjqoQdzXnWrFU-4tHcA4hNLDvyce3PvUOtSd-03U,2652
leanup-0.2.3.dist-info/METADATA,sha256=pxBlVRokSx1qFk8JnzUvep1BUQ9p03I_Dd9963aB074,11193
leanup-0.2.3.dist-info/WHEEL,sha256=aeYiig01lYGDzBgS8HxWXOg3uV61G9ijOsup-k9o1sk,91
leanup-0.2.3.dist-info/entry_points.txt,sha256=QQfUM6OvW7k8fFu_ErmoKmJa3g3MJlOc2W8V6NFc8ww,42
leanup-0.2.3.dist-info/top_level.txt,sha256=x8EKLq0DD05aBnUqXi5ffvsXJEOFMTHKOzion9ICu-w,13
leanup-0.2.3.dist-info/RECORD,,
