agda_pkg-0.1.10.dist-info/METADATA,sha256=XPjwuoiGehUPV3DzbWS4hNxSrI1ipsPfIDkYD5yBZ4A,6924
agda_pkg-0.1.10.dist-info/RECORD,,
agda_pkg-0.1.10.dist-info/WHEEL,sha256=gduuPyBvFJQSQ0zdyxF7k0zynDXbIbvg5ZBHoXum5uk,110
agda_pkg-0.1.10.dist-info/entry_points.txt,sha256=SFXhLjMQ1JAdTYUpFKtWh_RZpzzP15gY6fH0hkghtjs,83
agda_pkg-0.1.10.dist-info/top_level.txt,sha256=74rtVfumQlgAPzR5_2CgYN24MB0XARCg0t-gzk6gTrM,4
src/__init__.py,sha256=VK7fEitg3LISjWIjqKs2bbg4pCNzwRJO2wx8SaA3I2U,52
src/apkg.py,sha256=g4n6wjX770VBZkfpY0bsyQqdNj6pQgHKbBl_wUapygc,1304
src/config.py,sha256=qpg-8fEmebRPOWtyndbybuibwG-aMGsjqbQ1IvzkF0U,2985
src/commands/__init__.py,sha256=huABJtF6fi-FDlXGQUucflTTKQb-6QkS_gBCZI6MxSM,292
src/commands/clean.py,sha256=FBRGAaff7pdx0js6F6BVJbCA9wGhn3PooQ0ubRA9YeQ,802
src/commands/freeze.py,sha256=PIxrtQCoucuvHNzy3rMwtdV3xH85XT9arlDjx4yr3XE,857
src/commands/info.py,sha256=kliUWXzUBbA_UcmdbdPiKymhgPJvv77t2mbIdBpZ9gk,2093
src/commands/init.py,sha256=w0MPxEuPP8SFLckOGQj2Tj2wHns56yiZFBWa8GL5uJI,3562
src/commands/install.py,sha256=2XY5p6OiZHmnJCO3YHmDiJN9oAbC5_u1dM_5kQ8dPzs,14538
src/commands/list.py,sha256=Apb2zf5yyj5BtvYuzj0LkomRFR-1blrsaCVDihnew6U,2725
src/commands/search.py,sha256=vASiQF9pikiQsF6ExwhD00fdWvBa5U6ckNbdLkOQxF4,2325
src/commands/uninstall.py,sha256=LCUL9r9ijBpAo--cDYjxZy4vjfinHSHplk7oQ8ecIK0,2577
src/commands/update.py,sha256=HhYO-Wlynni3-DU0IofUkjaGRO0s6ysEoMEDrSP7Rl8,438
src/commands/upgrade.py,sha256=GZRLJuLWLxu7w0V5ueidRh_OL8_Gck_xjheaml9bGTQ,1198
src/service/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
src/service/database.py,sha256=HF8cetW8v5nZuaAMChAUIj63zAI-rK3D5VOI5r6ZJLw,9493
src/service/readLibFile.py,sha256=D20mlNd0kcXDDzTYUcjvZPjbJB2Lan0EcU9ENgpIb5Q,2348
src/service/writeAgdaDirFiles.py,sha256=pTCWyEy3PiH0HIhHbsEkOhhWzmAH3y7H6ny-34lr8hU,2171
