agda_pkg-0.1.32.dist-info/METADATA,sha256=EIRoV5gPTMKJftdvNjPM7mwP9duKQl4W380q_ZSO3rM,10649
agda_pkg-0.1.32.dist-info/RECORD,,
agda_pkg-0.1.32.dist-info/WHEEL,sha256=gduuPyBvFJQSQ0zdyxF7k0zynDXbIbvg5ZBHoXum5uk,110
agda_pkg-0.1.32.dist-info/entry_points.txt,sha256=SFXhLjMQ1JAdTYUpFKtWh_RZpzzP15gY6fH0hkghtjs,83
agda_pkg-0.1.32.dist-info/top_level.txt,sha256=74rtVfumQlgAPzR5_2CgYN24MB0XARCg0t-gzk6gTrM,4
src/__init__.py,sha256=aC7_U3A7MM0DtcNSXcJ_uhYDu-H9q0Ekc9I2pfaPOYY,925
src/__version__.py,sha256=wDjDQixuFP1JAiJVfR24rHjVF5-vubzbD6yShedHGFU,106
src/apkg.py,sha256=zxBgo86a5ty_3BtltRTWmqhQJwdZNGCEaYb54ou0Gqo,1048
src/config.py,sha256=xYS_k38J8D06EvgbtcjTSL1VV-0-bTrLcbABoWxh7J8,2812
src/commands/__init__.py,sha256=huABJtF6fi-FDlXGQUucflTTKQb-6QkS_gBCZI6MxSM,292
src/commands/clean.py,sha256=iPT5UXP3KWbYBDNZF1vnGYU-wM7Y9w2yDaWfnTUJ4YQ,748
src/commands/create.py,sha256=Mc7Iku80UICNPTDoS1W3vB_23JOVremu_QYCXnYIF-U,5212
src/commands/freeze.py,sha256=iRWhfRiCQPHD03e8fyAd3hXcfmoTNTRmuiHS64WxjW0,825
src/commands/info.py,sha256=5UM9PonZ8vqLNzBnS_ap2r9MqQ0nggYLrUW-SINUKOM,2097
src/commands/init.py,sha256=fts08Xc3dAWfbjQbUEnQ3Lz0H0PwerAVuhhAa5LAMS8,3946
src/commands/install.py,sha256=EpzWonpPOSscL-94EIxQUN5M2tBlTATWMqP3E6bHYI8,17880
src/commands/list.py,sha256=q19Uae-IMlHLkrK-qHFMCzKnbKpPei7vcKVrD3F0MLI,2557
src/commands/search.py,sha256=YxDxldPtRXdLhkriYksLkprpQN7czkLpmWBJMij3y5Q,2499
src/commands/uninstall.py,sha256=UJ4Wfxvyz8Z1sL7axSpn-1t3_FX_eqOrHuz_G5qzMWw,2777
src/commands/update.py,sha256=MOiJuJSsCFPCJzs6eMwoGOtWlD9yf1ENp4T29WJB76k,1316
src/commands/upgrade.py,sha256=qhSovPkXnXGrlMUeOszse80HdhGlI_uo74W9zkFnzXc,853
src/service/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
src/service/database.py,sha256=49VzxioNc9v7oD8z_r9fD9cWliTnIiKXK583JA8CUmk,10286
src/service/logging.py,sha256=EavmZ8z2s5oegLY7tYYlEne5eYjhyyS7wgU_wURlsno,121
src/service/readLibFile.py,sha256=YKdWU4vUYxaSs9XdXJxxK6coK41xsBiRTj9D3qk57Dw,2412
src/service/utils.py,sha256=udi8-L0QeN1nJofsg-r4ITSZa-yPhwyd1nYcRhvle_0,1175
src/service/writeAgdaDirFiles.py,sha256=0QyzJUNzSp9cfJ9YaQN9MaeXwBZ3Bd3ox0dkIbZPZ1s,2217
