apkg/__init__.py,sha256=fKOyRy4l8u_G0MO5TTLJu1KNdwMGa1rKAB9jTax037I,968
apkg/__version__.py,sha256=zPCvGqmrTvY014CJOIrAWWMpFCIAaQqOWHOH6T_1MGM,66
apkg/apkg.py,sha256=JmCapNpeTSNrJi660mkJXVncZKWfjs3F-4xBB47TAME,1052
apkg/config.py,sha256=0xKd9uBQb79oLUmqs6JGEQTwcnlsMuZ7VVCKUe1Vuww,3080
apkg/commands/__init__.py,sha256=MK-NXdLAivMz5LHbL7FG3hra1rSFJUFjpgkZ6db5IZU,294
apkg/commands/clean.py,sha256=znDawXQVUZAAEy1a_tLldJ-lIPwUIsWMfM1hc3ErEVs,754
apkg/commands/create.py,sha256=yBceWpmuwB3IlWQr1dzHF_E03OOu2HQIJF2C17496pY,5213
apkg/commands/freeze.py,sha256=UWzGKi-VeOZu6N8xcxHnsSriG1l7Oc7PbgksgJCf3VE,827
apkg/commands/info.py,sha256=efdeO5wfGlltyFeePl2IiFUlLDdRcXzqL6VBy2_fGOE,1934
apkg/commands/init.py,sha256=wNWEjFZjE2znDhMl4VazaFG03NqW6nbndXLchjfT-SY,3948
apkg/commands/install.py,sha256=10CPWJQqV2mguzzsTUrsUZiOET53QN7pC8ByKNGpVp8,19610
apkg/commands/list.py,sha256=a4sHbNKMtdoxzeRazndxQdzYiHDsCFcKJO0XaydwoKk,2603
apkg/commands/search.py,sha256=odGcnx209THsnju70yLqx6ftGNUbOXeNrgBx39YuDHk,2610
apkg/commands/uninstall.py,sha256=5exMaXhhzmiiKWJ0hcWxeiyqWaKGKrzqMRdnXC9Qays,4029
apkg/commands/update.py,sha256=yt6DVlcDjfDUCk3Oh7v9l43NDkMu7Baujsh9Hb3mAtc,1318
apkg/commands/upgrade.py,sha256=8C0SSzTNtLCG0FGOT7sVx8Ot66rl7jB2tldPXdVvZe8,855
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=F9ez1RCNXkib3ovK6BcKzACJZpVGnfzNJ-8JzOQpwrE,10580
apkg/service/logging.py,sha256=EavmZ8z2s5oegLY7tYYlEne5eYjhyyS7wgU_wURlsno,121
apkg/service/readLibFile.py,sha256=84msRUIV_Z10xN9zdtm24nJt0fwiYrC8OyQwD-wnc1E,2406
apkg/service/utils.py,sha256=uaAkOnyATAVMRP8dEtsI7oHkpKD85uvUe-N4KBI8dBI,1177
apkg/service/writeAgdaDirFiles.py,sha256=ke3yNgy1r04sbsvnHfoJivQMkfZyTtXxJTGzI8V5xL8,2219
agda_pkg-0.1.44.dist-info/LICENSE,sha256=gpJLKINribQZS4CT7uzfqcvBHk39QihbsJIEQ9-lS0c,1080
agda_pkg-0.1.44.dist-info/METADATA,sha256=5UiocyWOg5QXAPsJL-jwzJZuF_v6EjeZxWNC_-WzT6E,11888
agda_pkg-0.1.44.dist-info/WHEEL,sha256=h_aVn5OB2IERUjMbi2pucmR_zzWJtk303YXvhh60NJ8,110
agda_pkg-0.1.44.dist-info/entry_points.txt,sha256=gx3-rkEAAAdmsgS4sJyqHKbyf20sf9oescHpe6QRWUY,85
agda_pkg-0.1.44.dist-info/top_level.txt,sha256=DgL0owF9EJWxCdBLJ7lJDZrDHUbgVk3t1d6_54fjE-k,5
agda_pkg-0.1.44.dist-info/RECORD,,
