leanup/__init__.py,sha256=QBKzC1ziFKE0DEtn-Mz30C6Byws1ZBnqdpi0UJR8Ih8,594
leanup/const.py,sha256=xFDg8ATyjCDu0MErWY24JZSlMFe_1tmhvZTSOXvb9bc,553
leanup/cli/__init__.py,sha256=JsTTWVjFYyhu7iVdb7ysNjxGRYLQyYMJcb-moYHiDlY,730
leanup/cli/cache_ops.py,sha256=Fg7KqT2-Q7UETmO6gtpFw9lgJM7qFspb2GSdu9ulIw8,4881
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/repo/__init__.py,sha256=raI-h9y5N6ugX5zULuiJmdIu1it4THKqwNcO_B5ggyc,440
leanup/repo/cache_server.py,sha256=5cbuheD6Rg2dgrn3MZxVXL_lnFOg-Jl6ecswG4GI2No,2260
leanup/repo/elan.py,sha256=aKt42pNRxt4ocQJvag8Cf6t1G0XU-n5pQu2Adjiwz4I,8499
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/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=JTCC-BlQQE0xlVjKWRVxhIEbjlieY4MmKlVJEnyJPYM,2732
leanup/utils/config.py,sha256=nd8LEEbQs99XfmN3UQUVBEyw-ZDOUYmznBWbj-0RZG0,2564
leanup/utils/custom_logger.py,sha256=HRWNPur3z_ikzw_qjnVAPqHuECOR0WtOwxMNbKnp_-A,3781
leanup-0.2.2.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=vJcUrdIWkjnQKP_4MuCvlqY9QCFq90LWe5il0ImtiRo,790
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=PhYv4ktX_4xiO5x1R0bdhLx2-oFwOvyJDL-LWzYU2gM,17108
tests/test_repo_cli.py,sha256=3e9PCw6OdfsI42h_QAO9icM-qAPiXfiy5TnEeGaOQTg,2486
tests/test_setup.py,sha256=ot9CEyawb356G5FG0WoqzT-XwjXBLasj8QJPox2q49E,20170
tests/test_utils.py,sha256=4DfVjqoQdzXnWrFU-4tHcA4hNLDvyce3PvUOtSd-03U,2652
leanup-0.2.2.dist-info/METADATA,sha256=ySuYFn17eA8CZnF8vp3qAuu8HS7VhXhpl1z3hWpIRHU,10066
leanup-0.2.2.dist-info/WHEEL,sha256=aeYiig01lYGDzBgS8HxWXOg3uV61G9ijOsup-k9o1sk,91
leanup-0.2.2.dist-info/entry_points.txt,sha256=QQfUM6OvW7k8fFu_ErmoKmJa3g3MJlOc2W8V6NFc8ww,42
leanup-0.2.2.dist-info/top_level.txt,sha256=x8EKLq0DD05aBnUqXi5ffvsXJEOFMTHKOzion9ICu-w,13
leanup-0.2.2.dist-info/RECORD,,
