agda_pkg-0.1.17.dist-info/METADATA,sha256=XDU_XWZ2A4jAlxsnTHn4RnDij30NqSlvjIafso1RHbA,7699
agda_pkg-0.1.17.dist-info/RECORD,,
agda_pkg-0.1.17.dist-info/WHEEL,sha256=gduuPyBvFJQSQ0zdyxF7k0zynDXbIbvg5ZBHoXum5uk,110
agda_pkg-0.1.17.dist-info/entry_points.txt,sha256=SFXhLjMQ1JAdTYUpFKtWh_RZpzzP15gY6fH0hkghtjs,83
agda_pkg-0.1.17.dist-info/top_level.txt,sha256=74rtVfumQlgAPzR5_2CgYN24MB0XARCg0t-gzk6gTrM,4
src/__init__.py,sha256=VK7fEitg3LISjWIjqKs2bbg4pCNzwRJO2wx8SaA3I2U,52
src/apkg.py,sha256=NrzMTY9KyO7bsHyr4Y2V46fzNFEJrCNtFme_LUbMeZ4,1263
src/config.py,sha256=QeViPf0SKldTqgIVK8B8p1EtNbxLPb3NIXoyxxwdMRY,2558
src/commands/__init__.py,sha256=huABJtF6fi-FDlXGQUucflTTKQb-6QkS_gBCZI6MxSM,292
src/commands/clean.py,sha256=ggFbg9rwabPBcqc9E4yY5rv6Mjx--49_S9sygm3LhaY,804
src/commands/freeze.py,sha256=bJuLWWdoxx0cgpy469SKH1t72VgAqYu0dPuFyqLjO8M,874
src/commands/info.py,sha256=Pkz8SPshrt2PvMSI9YW9wofH55uKcW0N4JmlPGi4ncc,2155
src/commands/init.py,sha256=fHd70auCBe05fZa5Q2tSX1rgCMlvd5j0-hZ4XGGp5Ck,3928
src/commands/install.py,sha256=1EtfgT7VSqBvmqWg7-4DnNi-loFFESGd5WWs2vyT_1Q,17199
src/commands/list.py,sha256=APwATWMPLKLcyhnI5g37tGUobFxwCMnc3YQUsrU6adE,2570
src/commands/search.py,sha256=r9pvsV6laISuhVaVm1t5By2cDKy0CscSrrwd9a9VZXI,2441
src/commands/uninstall.py,sha256=-AaRMWzH0iNVD3XHztCoDpmckTta_CLVfK9qQGBzZuY,2846
src/commands/update.py,sha256=HhYO-Wlynni3-DU0IofUkjaGRO0s6ysEoMEDrSP7Rl8,438
src/commands/upgrade.py,sha256=KFSaAh4MoYXHCWnrr0uWY_A7wsiajIWPWN-CDjxqBXo,910
src/service/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
src/service/database.py,sha256=jtiTDnLVGhWkUYkJTxte1BO6Tjo_PHk9x6uDttDtKYI,10086
src/service/readLibFile.py,sha256=YKdWU4vUYxaSs9XdXJxxK6coK41xsBiRTj9D3qk57Dw,2412
src/service/writeAgdaDirFiles.py,sha256=j9lj-J7gAT8Bw_8Dpqv93u-XMfP_BN0LCoQ-5mtT53g,2179
