apkg/__init__.py,sha256=-42sR0kJFf5fv6TcZH0eRzNvuOBDzzLfQRTPuTsB1OY,966
apkg/__version__.py,sha256=yURSAHEVBU-q0CCV2YZrECcNIsVVjuvUKwVEcTru-3s,77
apkg/apkg.py,sha256=zxBgo86a5ty_3BtltRTWmqhQJwdZNGCEaYb54ou0Gqo,1048
apkg/config.py,sha256=-nQQ9JIhKYsj6g12FeSPKEpIVEy1i1oy-2hXcy6CLZI,2920
apkg/commands/__init__.py,sha256=huABJtF6fi-FDlXGQUucflTTKQb-6QkS_gBCZI6MxSM,292
apkg/commands/clean.py,sha256=KPlMXoVxN-EjI0Y2YNoAr90ADkMg94SWfU8ZCDU7oYE,752
apkg/commands/create.py,sha256=v2a5z05juWHl56UkGfBB2pH-wHZ-5gxiXIsgz26rGyw,5211
apkg/commands/freeze.py,sha256=iRWhfRiCQPHD03e8fyAd3hXcfmoTNTRmuiHS64WxjW0,825
apkg/commands/info.py,sha256=SVpgJrVSnDroZTkucQs9M1RvylYALLQT2_COp4mS6MI,2153
apkg/commands/init.py,sha256=fts08Xc3dAWfbjQbUEnQ3Lz0H0PwerAVuhhAa5LAMS8,3946
apkg/commands/install.py,sha256=S_F8XuNbgfPb-4XMA2EWsFohI9tYaYDPYUMbCY8jOTE,19519
apkg/commands/list.py,sha256=Q2yXj7J1m8lQ_U27XbDJ0ssj4CrjDD-K3WTvwK8pNQ0,2577
apkg/commands/search.py,sha256=oAw0fADCXaSbcSaKXUL-TQAN2IWHHLRwoo1dLq6AE5M,2608
apkg/commands/uninstall.py,sha256=hX52-ffi4HUQ9SVB0fCzw9vEyHji184G9h3sEKF-nfc,4027
apkg/commands/update.py,sha256=MOiJuJSsCFPCJzs6eMwoGOtWlD9yf1ENp4T29WJB76k,1316
apkg/commands/upgrade.py,sha256=qhSovPkXnXGrlMUeOszse80HdhGlI_uo74W9zkFnzXc,853
apkg/commands/templates/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
apkg/commands/templates/gitignore.template,sha256=BujqBzwOk_IzPC4dI3toLFbJ0mx-jQc42Ac7wYdwadE,68
apkg/commands/templates/library.agda-lib,sha256=k-ZqYuv6itnW2yi0VtBHseWenMfoQB6_fLw2KObNEbo,208
apkg/commands/templates/library.agda-pkg,sha256=WNgU0fHSaNW8oqJq7ceNFLS8PD3lAu1vGV4ufF9xRps,1052
apkg/service/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
apkg/service/database.py,sha256=45ORMi1hNXdNRyHQRWJLtFs2ZqOz1vKhYNkB14nrRW8,10497
apkg/service/logging.py,sha256=EavmZ8z2s5oegLY7tYYlEne5eYjhyyS7wgU_wURlsno,121
apkg/service/readLibFile.py,sha256=YKdWU4vUYxaSs9XdXJxxK6coK41xsBiRTj9D3qk57Dw,2412
apkg/service/utils.py,sha256=udi8-L0QeN1nJofsg-r4ITSZa-yPhwyd1nYcRhvle_0,1175
apkg/service/writeAgdaDirFiles.py,sha256=0QyzJUNzSp9cfJ9YaQN9MaeXwBZ3Bd3ox0dkIbZPZ1s,2217
agda_pkg-0.1.41.dist-info/LICENSE,sha256=gpJLKINribQZS4CT7uzfqcvBHk39QihbsJIEQ9-lS0c,1080
agda_pkg-0.1.41.dist-info/METADATA,sha256=NhEjU34cByuFU-zMEAlVwsiIUTZLJ_trbFu-TTSGESQ,11682
agda_pkg-0.1.41.dist-info/WHEEL,sha256=HX-v9-noUkyUoxyZ1PMSuS7auUxDAR4VBdoYLqD0xws,110
agda_pkg-0.1.41.dist-info/entry_points.txt,sha256=gx3-rkEAAAdmsgS4sJyqHKbyf20sf9oescHpe6QRWUY,85
agda_pkg-0.1.41.dist-info/top_level.txt,sha256=DgL0owF9EJWxCdBLJ7lJDZrDHUbgVk3t1d6_54fjE-k,5
agda_pkg-0.1.41.dist-info/RECORD,,
